235 search results - page 2 / 47 » Ontology Reasoning in the SHOQ(D) Description Logic |
CADE
2006
Springer
14 years 5 months ago
2006
Springer
This is a system description of the Description Logic reasoner FaCT++. The reasoner implements a tableaux decision procedure for the well known SHOIQ description logic, with additi...
IJCAI
2001
13 years 6 months ago
2001
Ontologies are set to play a key r^ole in the "Semantic Web" by providing a source of shared and precisely defined terms that can be used in descriptions of web resource...
DLOG
2010
13 years 2 months ago
2010
Semantic interoperability is essential on the Semantic Web to enable different information systems to exchange data. Such interoperability can be achieved by identifying similar in...
CORR
2010
Springer
13 years 1 months ago
2010
Springer
In this paper we present a preliminary logic-based evaluation of the integration of post-composed phenotypic descriptions with domain ontologies. The evaluation has been performed ...
DLOG
2007
13 years 7 months ago
2007