The irresistible SRIQ

CEUR Workshop Proceedings

Volumn 188, Issue , 2005, Pages

  Horrocks, Ian ^a   Kutz, Oliver ^a   Sattler, Ulrike ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEX ROLES; MEDICAL TERMINOLOGIES; ONTOLOGY APPLICATIONS; TABLEAU ALGORITHM;

BIRDS;

ALGORITHMS;

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

References (12)

1. Areces, C., Blackburn, P., Hernandez, B., and Marx, M. Handling Boolean Aboxes. In Proc. of the 2003 Description Logic Workshop (DL 2003) (2003), CEUR (http://ceur-ws.org/).
2. Baader, F. Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles. In Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI-91) (Sydney, 1991).
3. Baader, F., Bürckert, H.-J., Nebel, B., Nutt, W., and Smolka, G. On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations. Journal of Logic, Language and Information 2 (1993), 1-18.
4. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., and Patel-Schneider, P. F., Eds. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2003.
5. Baader, F., Lutz, C., Milicic, M., Sattler, U., and Wolter, F. Integrating Description Logics and Action Formalisms: First Results. In Proc. of the 20th National Conference on Artificial Intelligence (AAAI-05) (2005), A. Press, Ed.
6. Horrocks, I., Kutz, O., and Sattler, U. The Irresistible SRIQ. Tech. rep., University of Manchester, 2005. Available at http://www.cs.man.ac.uk/ ~sattler/publications/sriq-tr.pdf.
7. Horrocks, I., Patel-Schneider, P. F., and van Harmelen, F. From SHIQ and RDF to OWL: The Making of a Web Ontology Language. J. of Web Semantics 1, 1 (2003), 7-26.
8. Horrocks, I., and Sattler, U. Decidability of SHIQ with complex role inclusion axioms. Artificial Intelligence 160 (2004), 79-104.
9. Horrocks, I., and Sattler, U. A Tableaux Decision Procedure for SHOIQ. In Proc. of 19th International Joint Conference on Artificial Intelligence (IJCAI 2005) (2005), Morgan Kaufmann, Los Altos.
10. Horrocks, I., Sattler, U., and Tobies, S. Practical Reasoning for Expressive Description Logics. In Proc. of the 6th Int. Conf. on Logic for Programming and Automated Reasoning (LPAR'99) (1999), H. Ganzinger, D. McAllester, and A. Voronkov, Eds., Vol. 1705 of Lecture Notes in Artificial Intelligence, SpringerVerlag, pp. 161-180.
11. Schild, K. A Correspondence Theory for Terminological Logics: Preliminary Report. In Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI-91) (Sydney, 1991), pp. 466-471.
12. Wolstencroft, K., Brass, A., Horrocks, I., Lord, P., Sattler, U., Turi, D., and Stevens, R. A Little Semantic Web Goes a Long Way in Biology. In Proc. of the 4th International Semantic Web Conference (2005), LNCS, SV. To appear.