Abstract Description logics (DLs) are formalisms for representing knowledge bases of application domains. The Web Ontology Language (OWL) is a syntactic variant of a very …
N Alaya, SB Yahia, M Lamolle - 2016 IEEE 28th International …, 2016 - ieeexplore.ieee.org
Over the last decade, several ontology reasoners have been proposed to overcome the computational complexity of inference tasks on expressive ontology languages …
N Alaya, M Lamolle, S Ben Yahia - The Semantic Web–ISWC 2017: 16th …, 2017 - Springer
A growing number of highly optimized reasoning algorithms have been developed to allow inference tasks on expressive ontology languages such as OWL (DL). Nevertheless, there is …
YF Li, YB Kang - ECAI 2020, 2020 - ebooks.iospress.nl
Ontologies are widely used to formally represent abstract domain knowledge. Logic reasoning ensures the logical consistency of ontologies, and infers knowledge implicitly …
N Alaya, SB Yahia, M Lamolle - … 2015, Lisbon, Portugal, November 12-14 …, 2016 - Springer
Over the last decade, several ontology reasoners have been proposed to overcome the computational complexity of inference tasks on expressive ontology languages such as …
The reasoner is the mechanism for interpreting the semantics of web ontology language. This paper focuses on reasoner performance study and predicting it by use of machine …
Logic-based knowledge representation formalisms, such as Description Logics, constitute the basis of well-known ontology languages, eg, the Web Ontology Language, and, thus, are …
K Agazi, PA Johnson, TM Heil - Proceedings of 3rd …, 1995 - ieeexplore.ieee.org
Three models are currently used by the Maryland State Highway Administration for designing meanders on stream restoration projects. The first model is based on the …
Description Logics (DLs) are formalisms for representing knowledge bases of application domains. TheWeb Ontology Language (OWL) is a syntactic variant of a very expressive …