Description logic rules

Frontiers in Artificial Intelligence and Applications

Volumn 178, Issue , 2008, Pages 80-84

  Krötzsch, Markus ^b   Rudolph, Sebastian ^b   Hitzler, Pascal ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

^b NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; DATA DESCRIPTION; FORMAL LANGUAGES;

DESCRIPTION LOGIC; EXPRESSIVE DESCRIPTION LOGIC; KNOWLEDGE-REPRESENTATION; LOGIC RULES; RULE BASED; SEMANTIC WEB RULE LANGUAGE(SWRL); SIMPLE++; TIGHT INTEGRATIONS; WORST-CASE COMPLEXITY;

KNOWLEDGE REPRESENTATION;

EID: 84912556883     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: 10.3233/978-1-58603-891-5-80     Document Type: Conference Paper

References (14)

1. Franz Baader, Sebastian Brandt, and Carsten Lutz, ‘Pushing the EL envelope’, in Proc. 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005), Edinburgh, UK, (2005). Morgan-Kaufmann Publishers.
2. Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini, ‘On the decidability of query containment under constraints’, in Proc. 17th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS’98), pp. 149–158. ACM Press, (1998).
3. Evgeny Dantsin, Thomas Eiter, Georg Gottlob, and Andrei Voronkov, ‘Complexity and expressive power of logic programming’, ACM Computing Surveys, 33, 374–425, (2001).
4. Francis Gasse, Ulrike Sattler, and Volker Haarslev. Rewriting rules into SROIQ axioms. Poster at 21st Int. Workshop on DLs (DL-08), 2008.
5. Benjamin N. Grosof, Ian Horrocks, Raphael Volz, and Stefan Decker, ‘Description logic programs: combining logic programs with description logic’, in Proc. 12th Int. Conf. on World Wide Web (WWW 2003), pp. 48–57. ACM, (2003).
6. Ian Horrocks, Oliver Kutz, and Ulrike Sattler, ‘The even more irresistible SROIQ’, in Proc. 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR2006), pp. 57–67. AAAI Press, (2006).
7. Ian Horrocks and Peter F. Patel-Schneider, ‘A proposal for an OWL rules language’, in Proc. 13th Int. Conf. on World Wide Web (WWW 2004), eds., Stuart I. Feldman, Mike Uretsky, Marc Najork, and Craig E. Wills, pp. 723–731. ACM, (2004).
8. Markus Krötzsch, Sebastian Rudolph, and Pascal Hitzler, ‘Complexity boundaries for Horn description logics’, in Proc. 22nd AAAI Conf. (AAAI’07), (2007).
9. Markus Krötzsch, Sebastian Rudolph, and Pascal Hitzler, ‘Description logic rules (extended technical report)’, Technical report, Universität Karlsruhe, Germany, (FEB 2008). Available at http://korrekt.org/page/SROIQ_Rules.
10. Markus Krötzsch, Sebastian Rudolph, and Pascal Hitzler, ‘ELP: Tractable rules for OWL 2’, Technical report, Universität Karlsruhe, Germany, (May 2008). http://korrekt.org/page/ELP.
11. Alon Y. Levy and Marie-Christine Rousset, ‘Combining Horn rules and description logics in CARIN’, Artificial Intelligence, 104, 165–209, (1998).
12. Boris Motik, Ulrike Sattler, and Rudi Studer, ‘Query answering for OWL-DL with rules’, J. Web Sem., 3(1), 41–60, (2005).
13. Sebastian Rudolph, Markus Krötzsch, and Pascal Hitzler, ‘All elephants are bigger than all mice’, in Proc. 21st Int. Workshop on Description Logics (DL-08), (2008).
14. Raphael Volz, Web Ontology Reasoning with Logic Databases, Ph.D. dissertation, Universität Karlsruhe (TH), Germany, 2004.