Forgetting and uniform interpolation in large-scale description logic terminologies

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2009, Pages 830-835

  Konev, Boris ^a   Walther, Dirk ^a   Wolter, Frank ^a  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; FORMAL LANGUAGES; INTERPOLATION; TERMINOLOGY;

CLINICAL TERMS; CONJUNCTIVE QUERIES; DESCRIPTION LOGIC; INTERPOLANTS; NATIONAL CANCER INSTITUTE; SNOMED-CT; UNIFORM INTERPOLATIONS;

DATA DESCRIPTION;

EID: 78751681051     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. F. Baader, S. Brandt, and C. Lutz. Pushing the EL-envelope further. In Proc. of OWLED DC, 2008.
2. B. Cuenca Grau, I. Horrocks, Y. Kazakov, and U. Sattler. Just the right amount: Extracting modules from ontologies. In Proc. of WWW'07, 2007.
3. T. Eiter and K. Wang. Semantic forgetting in answer set programming. Artificial Intelligence, 172(14):1644-1672, 2008.
4. T. Eiter, G. Ianni, R. Schindlauer, H. Tompits, and K. Wang. Forgetting in managing rules and ontologies. In Proc. of Web Intelligence, 2006.
5. B. Konev, C. Lutz, D. Walther, and F. Wolter. Semantic modularity and module extraction in description logic. In Proc. of ECAI'08, 2008.
6. B. Konev, D. Walther, and F. Wolter. The logical difference problem for description logic terminologies. In Proc. of IJCAR'08, 2008.
7. B. Konev, D. Walther, and F. Wolter. Forgetting and uniform interpolation in large-scale description logic terminologies. Technical Report ULCS-09-006, University of Liverpool, 2009.
8. R. Kontchakov, F. Wolter, and M. Zakharyaschev. Can you tell the difference between DL-lite ontologies. In Proc. of KR'08, 2008.
9. J. Lang, P. Liberatore, and P. Marquis. Propositional independence: formula-variable independence and forgetting. Journal of Artificial Intelligence Research, 18:391-443, 2003.
10. C. Lutz and F. Wolter. Deciding inseparability and conservative extensions in the description logic EL. To appear in J. of Symbolic Computation, 2009.
11. C. Lutz, D. Walther, and F. Wolter. Conservative extensions in expressive description logics. In Proc. of IJCAI'07, 2007.
12. R. Reiter and F. Lin. Forget it! In Proc. of AAAI Fall Symposium on Relevance, 1994.
13. R. Rosati. On conjunctive query answering in EL. In Proc. of DL'07, 2007.
14. N. Sioutos, S. de Coronado, M.W. Haber, F.W. Hartel, W.L. Shaiu, and L.W. Wright. NCI thesaurus: a semantic model integrating cancer-related clinical and molecular information. Journal of Biomedical Informatics, 40(1):30-43, 2006.
15. K.A. Spackman. Managing clinical terminology hierarchies using algorithmic calculation of subsumption: Experience with SNOMED-RT. 2000.
16. A. Visser. Uniform interpolation and layered bisimulation. In Gödel '96 (Brno, 1996), volume 6 of Lecture Notes Logic. Springer Verlag, 1996.
17. Z. Wang, K. Wang, R. Topor, and J.Z. Pan. Forgetting in DL-Lite. In Proc. of ESWC'08, 2008.