Add to ORKGKnowledge representation and reasoning on the Semantic Web is done by means of ontologies. While the quest for suitable ontology languages is still ongoing, OWL [5] has been established as a core standard. It comes in three flavours, as OWL Full, OWL DL and OWL Lite, where OWL Full contains OWL DL, which in turn contains OWL Lite. The latter two coincide semantically with certain description logics and can thus be considered fragments of first-order predicate logic
Although the computational complexity of the logic underlying the standard OWL 2 for the Web Ontolog...
International audienceNominal schemas have been proposed as an extension to Description Logics (DL),...
Abstract. Description Logic (DL) describes knowledge using entities and rela-tionships between them,...
Knowledge representation and reasoning on the Semantic Web is done by means of ontologies. While the...
We propose a new technique for approximate ABox reasoning with OWL DL ontologies. Essentially, we ob...
Logic programming has always been a major ontology modeling paradigm, and is frequently being used i...
Logic programming has always been a major ontology modeling paradigm, and is frequently being used i...
Logic programming has always been a major ontology modeling paradigm, and is frequently being used i...
Accelerated by the vision of the semantic web, semantic technologies have recently made significant ...
Acknowledgements This work has been partially supported by the European project Marrying Ontologies ...
We present a preliminary version of the approximate OWL reasoning system SCREECH. It builds on the K...
In the past few years, the W3C has been establishing standards for the fundamental building blocks o...
As part of the quest for a unifying logic for the Semantic Web Technology Stack, a central issue is ...
Representing knowledge in OWL provides two important limitations; on one hand efficient reasoning on...
The Web Ontology Language (OWL) is a widely used knowledge representation language for describing kn...
Although the computational complexity of the logic underlying the standard OWL 2 for the Web Ontolog...
International audienceNominal schemas have been proposed as an extension to Description Logics (DL),...
Abstract. Description Logic (DL) describes knowledge using entities and rela-tionships between them,...
Knowledge representation and reasoning on the Semantic Web is done by means of ontologies. While the...
We propose a new technique for approximate ABox reasoning with OWL DL ontologies. Essentially, we ob...
Logic programming has always been a major ontology modeling paradigm, and is frequently being used i...
Logic programming has always been a major ontology modeling paradigm, and is frequently being used i...
Logic programming has always been a major ontology modeling paradigm, and is frequently being used i...
Accelerated by the vision of the semantic web, semantic technologies have recently made significant ...
Acknowledgements This work has been partially supported by the European project Marrying Ontologies ...
We present a preliminary version of the approximate OWL reasoning system SCREECH. It builds on the K...
In the past few years, the W3C has been establishing standards for the fundamental building blocks o...
As part of the quest for a unifying logic for the Semantic Web Technology Stack, a central issue is ...
Representing knowledge in OWL provides two important limitations; on one hand efficient reasoning on...
The Web Ontology Language (OWL) is a widely used knowledge representation language for describing kn...
Although the computational complexity of the logic underlying the standard OWL 2 for the Web Ontolog...
International audienceNominal schemas have been proposed as an extension to Description Logics (DL),...
Abstract. Description Logic (DL) describes knowledge using entities and rela-tionships between them,...