Speed-forming your ontology or how to improve reasoning performance for your OWL ontology

axioms, but GO also contains a rich set of inter-ontology axioms, leveraging ex- ternal ontologies (The plant ontology, Uberon, the Cell type ontology, and the CHEBI ontology

The choice of a machine learning model is not critical here because we test overall utility of global approaches for reasoning performance prediction and plan to compare these

A categorical property value such as green can either be represented as a type / instance assertion of the form ClassAssertion(:Color- Constant :green) and then used as a nominal

The Ontology Alignment Evaluation Initiative(OAEI) is an international campaign for the systematic evaluation of ontology matching systems —software programs capable of finding

Our aim is to build an OWL (Ontology Web Language)[4] ontology for quan- tum mechanics which will model the main concepts that appear in the theory and can be useful in the

  Therefore,   in   order   to   allow   roundtrip  transformations  on  OBO  ontologies,  it  is  important  to  restrict  the  editing  of   such  ontologies

In the sense that an attribute is really a kind of association (just as both data types and object types are properties), translating these kind of invariants is the same

Alternatively, if mappings are represented as OWL 2 axioms, a repair or diagnosis can also be computed using the state-of-the-art approaches for debugging and repairing