Generalized linie properties for expressive ε-connections of description logics

Proceedings of the National Conference on Artificial Intelligence

Volumn 2, Issue , 2005, Pages 657-662

  Parsia, Bijan ^a   Grau, Bernardo Cuenca ^b  

^a UNIVERSITY OF MARYLAND   (United States)

^b UNIVERSITY OF VALENCIA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SIMULATION; MATHEMATICAL MODELS; ROBUSTNESS (CONTROL SYSTEMS); SEMANTICS;

DESCRIPTION LOGICS; ONTOLOGIES; SEMANTIC WEB; TRANSITIVE CLOSURE OPERATOR;

FORMAL LOGIC;

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

References (7)

1. Cuenca-Grau, B.; Parsia, B.; and Sirin, E. 2004. Working with multiple ontologies on the semantic web. In Proc. of the 3thrd International Semantic Web Conference (ISWC 2004), 620-634. Springer.
2. Cuenca-Grau, B.; Parsia, B.; and Sirin, E. 2005. Combining OWL ontologies using ε-Connections. Journal of Web Semantics. Forthcoming.
3. Horrocks, I., and Sattler, U. 2001. Ontology reasoning in the SHOQ(D) description logic. In Proc. of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI-2001), 199-204. Morgan Kaufmann.
4. Horrocks, I.; Sattler, U.; and Tobies, S. 2000. Practical reasoning for very expressive description logics. Logic Journal of the IGPL 8(3):239-263:
5. Kutz, O.; Lutz, C.; Wolter, F.; and Zakharyaschev, M. 2004. ε-Connections of abstract description systems. Artificial Intelligence 156(1): 1-73.
6. Patel-Schneider, P.; Hayes, P.; and Horrocks, I. 2004. Web ontology language (OWL) abstract syntax and semantics. W3C Recommendation.
7. Sattler, U. 1996. A concept language extended with different kinds of transitive roles. In 20. Deutsche Jahrestagung für Künstliche Intelligenz, number 1137 in LNAI. Springer.