Semantic modularity and module extraction in description logics

Frontiers in Artificial Intelligence and Applications

Volumn 178, Issue , 2008, Pages 55-59

  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

DATA DESCRIPTION; EXTRACTION; FORMAL LANGUAGES; TERMINOLOGY;

DESCRIPTION LOGIC; EXPERIMENTAL EVALUATION; EXTRACTION ALGORITHMS; LARGE-SCALES; MODEL-THEORETIC; REASONING PROBLEMS; SNOMED-CT;

SEMANTICS;

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

References (14)

1. F. Baader and C. Lutz and B. Suntisrivaraporn, ‘CEL—A Polynomial-time Reasoner for Life Science Ontologies’, in Proc. of IJCAR’06, pp. 287–291, (2006).
2. A. Borgida, ‘On importing knowdledge from DL ontologies: some intuitions and problems’, in Proc. of DL-07, (2007).
3. P. Doran, V. Tamma, and L.Iannone, ‘Ontology module extraction for ontology reuse:an ontology engineering perspective’, in Proc. of CIKM-07, (2007).
4. J. 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).
5. B. Cuenca Grau, I. Horrocks, Y. Kazakov, and U. Sattler., ‘A logical framework for modularity of ontologies’, in Proc of IJCAI’07. AAAI Press, (2007).
6. B. Cuenca Grau, I. Horrocks, Y. Kazakov, and U. Sattler, ‘Just the right amount: extracting modules from ontologies’, in Proc. of WWW-07, pp. 717–726, (2007).
7. C. Haase and C. Lutz, ‘Complexity of subsumption in the EL family of description logics: Acyclic and cyclic TBoxes’, in Proc. of ECAI-08. (2008).
8. B. Konev, C. Lutz, D. Walther, and F. Wolter, ‘Semantic modularity and module extraction in description logics’, Technical Report, (2007).
9. C. Lutz, D. Walther, and F. Wolter, ‘Conservative extensions in expressive description logics’, in Proc. of IJCAI-07. AAAI Press, (2007).
10. C. Lutz, ‘Complexity of terminological reasoning revisited’, in Proc. of LPAR’99, number 1705 in LNAI, pp. 181–200. Springer, (1999).
11. C. Lutz and F. Wolter, ‘Conservative extensions in the lightweight description logic EL’, in Proc. of CADE-2007. Springer, (2007).
12. J. Seidenberg and A.L. Rector, ‘Web ontology segmentation: analysis, classification and use’, in Proc. of WWW-06, pp. 13–22, (2006).
13. K.A. Spackman, ‘Managing clinical terminology hierarchies using algorithmic calculation of subsumption: Experience with SNOMED-RT’, JAMIA, (2000).
14. + Ontologies’, in Proc. of ESWC-2008. Springer, (2008).