Logical difference and module extraction with CEX and MEX

CEUR Workshop Proceedings

Volumn 353, Issue , 2008, Pages

  Konev, Boris ^a   Lutz, Carsten ^b   Walther, Dirk ^a   Wolter, Frank ^a  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

^b DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

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

References (17)

1. F. Baader. Terminological cycles in a description logic with existential restrictions. In Proc. of IJCAI-03, pages 325-330. Morgan Kaufmann, 2003. Long version available as LTCS Report 02-02.
2. F. Baader, C. Lutz, and B. Suntisrivaraporn. CEL-a polynomial-time reasoner for life science ontologies. In Proc. of IJCAR-06, volume 4130 of LNAI, pages 287-291. Springer, 2006.
3. A. Borgida. On importing knowdledge from DL ontologies: some intuitions and problems. In Proc. of DL Workshop, volume 250 of http://ceur-ws.org/2007.
4. P. Doran, V. Tamma, and L.Iannone. Ontology module extraction for ontology reuse: an ontology engineering perspective. In Proc. of CIKM-07, pages 61-70. ACM, 2007.
5. J. H. Gennari et al. The evolution of protégé: an environment for knowledge-based systems development. Int. J. Hum.-Comput. Stud., 58(1):89-123, 2003.
6. S. Ghilardi, C. Lutz, and F. Wolter. Did I damage my ontology? a case for conservative extensions in description logics. In Proc. of KR-06, pages 187-197. AAAI Press, 2006.
7. B. C. Grau, I. Horrocks, Y. Kazakov, and U. Sattler. Just the right amount: extracting modules from ontologies. In Proc. of WWW-07, pages 717-726, 2007.
8. B. C. Grau, I. Horrocks, Y. Kazakov, and U. Sattler. A logical framework for modularity of ontologies. In Proc. of IJCAI-07, pages 298-303. AAAI Press, 2007.
9. C. Haase and C. Lutz. Complexity of subsumption in the EL-family of description logics: Acyclic and cyclic Tboxes. 2008. submitted.
10. B. Konev, C. Lutz, D. Walther, and F. Wolter. Semantic modularity and module extraction in description logic. http://www.csc.liv.ac.uk/frank/publ/ publ.html.
11. B. Konev, D.Walther, and F.Wolter. The logical difference problem for description logic terminologies. http://www.csc.liv.ac.uk/frank/publ/publ.html.
12. C. Lutz, D. Walther, and F. Wolter. Conservative extensions in expressive description logics. In Proc. of IJCAI-07, pages 453-458. AAAI Press, 2007.
13. C. Lutz and F. Wolter. Conservative extensions in the lightweight description logic EL. In Proc. of CADE-07, volume 4603 of LNCS, pages 84-99. Springer, 2007.
14. N. F. Noy and M. Musen. Promptdiff: A fixed-point algorithm for comparing ontology versions. In Proc. of AAAI, pages 744-750. AAAI Press, 2002.
15. J. Seidenberg and A. L. Rector. Web ontology segmentation: analysis, classification and use. In WWW-06, pages 13-22, ACM, 2006.
16. K. Spackman. Managing clinical terminology hierarchies using algorithmic calculation of subsumption: Experience with Snomed-rt. In JAMIA, 2000.
17. B. Suntisrivaraporn. Module Extraction and Incremental Classification: A Pragmatic Approach for EL+ Ontologies. In Proc. of ESWC-08, volume 5021 of LNCS, pages 230-244. Springer, 2008.