Author of the publication

Reasoning in description logics

, , , and . chapter Principles of knowledge representation, page 191-236. Center for the Study of Language and Information Stanford, CA, USA, (1997)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Space Efficiency of Propositional Knowledge Representation Formalisms, , , and . CoRR, (2011)A Uniform Tableaux-Based Method for Concept Abduction and Contraction in Description Logics., , , , and . ECAI, page 975-976. IOS Press, (2004)Nonmonotonic reasoning., , , , and . Artif. Intell. Rev., 4 (3): 163-210 (1990)Fully Automated Web Services Discovery and Composition Through Concept Covering and Concept Abduction., , , , , and . Int. J. Web Service Res., 4 (3): 85-112 (2007)Comparing Space Efficiency of Propositional Knowledge Representation Formalisms., , , and . KR, page 364-373. Morgan Kaufmann, (1996)Description Logic-Based Resource Retrieval., , , , and . Encyclopedia of Knowledge Management, IGI Global, (2011)A Logic for SVG Documents Query and Retrieval., , and . Multimedia Tools Appl., 24 (2): 125-153 (2004)Abductive Matchmaking using Description Logics., , , and . IJCAI, page 337-342. Morgan Kaufmann, (2003)Using Prolog Unification to Solve Non-standard Reasoning Problems in Description Logics., and . CILC, volume 857 of CEUR Workshop Proceedings, page 32-46. CEUR-WS.org, (2012)Semantic-based Automated Evaluation of Company Core Competence., , , and . SWAP, volume 426 of CEUR Workshop Proceedings, CEUR-WS.org, (2008)