Pushing the EL envelope further

CEUR Workshop Proceedings

Volumn 496, Issue , 2009, Pages

  Baader, Franz ^a   Brandt, Sebastian ^b   Lutz, Carsten ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

^b UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DESCRIPTION LOGIC; EXPTIME;

BIRDS;

DATA DESCRIPTION;

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

References (24)

1. W3C working group on OWL. http://www.w3.org/2007/OWL/wiki/OWL Working Group.
2. W3C working group webpage on EL++. http://www.w3.org/2007/OWL/wiki/EL.
3. F. Baader, S. Brandt, and C. Lutz. Pushing the EL envelope. In Proceedings of IJCAI'05, pages 364-369. Professional Book Center, 2005.
4. F. Baader, S. Brandt, and C. Lutz. Pushing the EL envelope further, 2008. Available from http://lat.inf.tu-dresden.de/clu/papers/.
5. F. Baader, C. Lutz, and B. Suntisrivaraporn. Is tractable reasoning in extensions of the description logic EL useful in practice? In Proceedings of M4M-05, 2005.
6. F. Baader, C. Lutz, and B. Suntisrivaraporn. CEL|a polynomial-time reasoner for life science ontologies. In Proceedings of IJCAR'06, volume 4130 of LNAI, pages 287-291. Springer-Verlag, 2006.
7. F. Baader, C. Lutz, and B. Suntisrivaraporn. E±cient reasoning in EL+. In Proceedings of DL2006, number 189 in CEUR-WS (http://ceur-ws.org/), 2006.
8. A. K. Chandra, D. C. Kozen, and L. J. Stockmeyer. Alternation. Journal of the ACM, 28(1):114-133, 1981.
9. D. Giacomo and Massacci. Combining deduction and model checking into tableaux and algorithms for converse-PDL. Information and Computation, 162, 2000.
10. G. D. Giacomo and M. Lenzerini. Boosting the correspondence between description logics and propositional dynamic logics. In Proceedings of the Twelfth National Conference on Articial Intelligence (AAAI'94). Volume 1, pages 205-212. AAAI Press, 1994.
11. J. Y. Halpern and Y. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Articial Intelligence, 54(3):319-380, 1992.
12. I. Horrocks, O. Kutz, and U. Sattler. The even more irresistible SROIQ. In Proceedings of KR06, pages 57-67. AAAI Press, 2006.
13. I. Horrocks and U. Sattler. Decidabiltiy of shiq with complex role inclusion axioms. Articial Intelligence, 160(1-2):79-104, 2004.
14. J.E. Hopcroft and J.D. Ullman. Introduction to Automata Theory, Languages and Computation. Addison-Wesley, 1979.
15. Y. Kazakov. Saturation-Based Decision Procedures for Extensions of the Guarded Fragment. PhD thesis, UniversitÄat des Saarlandes, SaarbrÄucken, 2006.
16. A. Krisnadhi and C. Lutz. Data complexity in the EL family of description logics. In Proceedings of LPAR2007, volume 4790 of LNAI, pages 333-347. Springer- Verlag, 2007.
17. M. KrÄotzsch, S. Rudolph, and P. Hitzler. Conjunctive queries for a tractable fragment of OWL 1.1. In Proceedings of ISWC 2007, volume 4825 of LNCS, pages 310-323. Springer-Verlag, 2007.
18. C. H. Papadimitriou. Computational Complexity. Addison-Wesley, 1994.
19. A. Rector and I. Horrocks. Experience building a large, re-usable medical ontology using a description logic with transitivity and concept inclusions. In Proceedings of the Workshop on Ontological Engineering, AAAI Spring Symposium (AAAI'97). AAAI Press, 1997.
20. S. Schulz, B. Suntisrivaraporn, and F. Baader. SNOMED CT's problem list: Ontologists' and logicians' therapy suggestions. In Proceedings of The Medinfo 2007 Congress, SHTI. IOS Press, 2007.
21. N. Sioutos, S. de Coronado, M. Haber, F. Hartel, W. Shaiu, and L. Wright. NCI thesaurus: a semantic model integrating cancer-related clinical and molecular information. Journal of Biomedical Informatics, 40(1):30-43, 2006.
22. K. Spackman. Managing clinical terminology hierarchies using algorithmic calculation of subsumption: Experience with SNOMED-RT. Journal of the American Medical Informatics Association, 2000. Fall Symposium Special Issue.
23. B. Suntisrivaraporn, F. Baader, S. Schulz, and K. Spackman. Replacing SEPtriplets in SNOMED CT using tractable description logic operators. In Proceedings of AIME'07, LNCS. Springer-Verlag, 2007.
24. The Gene Ontology Consortium. Gene Ontology: Tool for the unication of biology. Nature Genetics, 25:25-29, 2000.