Computational ontologies of parthood, componenthood, and containment

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2005, Pages 382-387

  Bittner, Thomas ^a   Donnelly, Maureen ^a  

^a UNIVERSITY AT BUFFALO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BIOMEDICAL ONTOLOGIES; COMPUTATIONAL ONTOLOGY; DESCRIPTION LOGIC; FIRST ORDER; FIRST ORDER THEORIES; PREDICATE LOGIC; TERMINOLOGY SYSTEM; UNIFIED THEORY;

ARTIFICIAL INTELLIGENCE;

DATA DESCRIPTION;

EID: 33845258285     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi, and P.F. Patel-Schneider, editors. The Description Logic Handbook. Cambridge University Press, 2002.
2. N. Guarino. Formal ontology and information systems. In Nicola Guarino, editor, Formal Ontology and Information Systems, (FOIS'98). IOS Press, 1998.
3. I. Horrocks and U. Sattler. Decidability of SHIQ with complex role inclusion axioms. Artificial Intelligence, 120(1-2):79-104, 2004.
4. P. Lambrix and L. Padgham. Conceptual modelling in a document management environment using part-of reasoning in description logics. Data and Knowledge Engineering, 32(1):51-86, 2000. (Pubitemid 32081794)
5. C. Lutz and U. Sattler. Mary likes all cats. In F. Baader and U. Sattler, editors, International Workshop in Description Logics (DL2000), number 33 in CEUR-WS, pages 213-226.
6. J. Rogers and A. Rector. GALEN's model of parts and wholes: experience and comparisons. In AMIA Symp 2000, pages 714-8, 2000.
7. Ulrike Sattler. A concept language for an engineering application with part-whole relations. In A. Borgida, M. Lenzerini, D. Nardi, and B. Nebel, editors, International Workshop on Description Logics, pages 119-123, Rome, 1995.
8. U. Sattler. Description logics for the representation of aggregated objects. In W. Horn, editor, 14th European Conference on Artificial Intelligence. IOS Press, Amsterdam, 2000.
9. Manfred Schmidt-Schauß. Subsumption in KL-ONE is undecidable. In 1st International Conference on Principles of Knowledge Representation and Reasoning (KR89), pages 421-431, 1989.
10. P. Simons. Parts, A Study in Ontology. Clarendon Press, Oxford, 1987.
11. B. Smith. Fiat objects. Topoi, 20(2):131-48, 2001.
12. K.A. Spackman. Normal forms for description logic expressions of clinical concepts in SNOMED RT. Journal of the AmericanMedical Informatics Association, pages 627-631, 2001. Symposium Supplement.
13. M. Wessel. Obstacles on the way to qualitative spatial reasoning with description logics: Some undecidability results. In International Workshop in Description Logics 2001, 2001.