Representing structured objects using description graphs

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2008, Pages 296-306

  Motik, Boris ^a   Grau, Bernardo Cuenca ^a   Horrocks, Ian ^a   Sattler, Ulrike ^b  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTABILITY AND DECIDABILITY; GRAPHIC METHODS; MODELING LANGUAGES; ONTOLOGY;

ACYCLICITY; KNOWLEDGE BASIS; ONTOLOGY LANGUAGE; PRACTICAL REASONING; SATISFIABILITY; STATE OF THE ART;

KNOWLEDGE REPRESENTATION;

EID: 77951117473     PISSN: 23341025     EISSN: 23341033     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. Baader, F., and Sattler, U. 2001. An Overview of Tableau Algorithms for Description Logics. Studia Logica 69:5-40.
2. Baader, F.; Calvanese, D.; McGuinness, D.; Nardi, D.; and Patel-Schneider, P. F., eds. 2007. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, 2nd edition.
3. Börger, E.; Gr̈adel, E.; and Gurevich, Y. 1996. The Classical Decision Problem. Springer.
4. Kutz, O.; Horrocks, I.; and Sattler, U. 2006. The Even More Irresistible SROIQ. In Proc. KR 2006, 68-78.
5. Levy, A. Y., and Rousset, M.-C. 1998. Combining Horn Rules and Description Logics in CARIN. Artificial Intelligence 104(1-2):165-209.
6. Motik, B.; Grau, B. C.; and Sattler, U. 2008. Structured Objects in OWL: Representation and Reasoning. In Proc. WWW 2008, 555-564.
7. Motik, B.; Shearer, R.; and Horrocks, I. 2008. Hypertableau Reasoning for Description Logics. Technical report, University of Oxford. See first author'sWeb page.
8. Plaisted, D. A., and Greenbaum, S. 1986. A Structure- Preserving Clause Form Translation. Journal of Symbolic Logic and Computation 2(3):293-304.
9. Rector, A. L.; Nowlan, W. A.; and Glowinski, A. 1993. Goals for concept representation in the galen project. In Proc. SCAMC'93, 414-418.
10. Rosse, C., and Mejino, J. V. L. 2003. A reference ontology for biomedical informatics: the FoundationalModel of Anatomy. Journal of Biomedical Informatics 36:478-500.
11. Spackman, K. A. 2000. SNOMED RT and SNOMED CT. Promise of an international clinical terminology. M.D. Computing 17(6):29.
12. Vardi, M. Y. 1996. Why Is Modal Logic So Robustly Decidable? In Proc. DIMACS Workshop, volume 31 of DIMACS Series, 149-184.