Categorising logical differences between OWL ontologies

International Conference on Information and Knowledge Management, Proceedings

Volumn , Issue , 2011, Pages 1541-1546

  Gonçalves, Rafael S ^a   Parsia, Bijan ^a   Sattler, Ulrike ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

diff; ontologies; OWL

Indexed keywords

DIFF; NATIONAL CANCER INSTITUTE; ONTOLOGY ENGINEERING; OWL; OWL ONTOLOGIES; STATE OF THE ART; SYNTACTIC ANALYSIS;

KNOWLEDGE MANAGEMENT; SEMANTICS;

ONTOLOGY;

EID: 83055191144     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2063576.2063797     Document Type: Conference Paper

References (9)

1. B. Cuenca Grau, I. Horrocks, Y. Kazakov, and U. Sattler. Modular reuse of ontologies: Theory and practice. J. of Artificial Intelligence Research, 31:273-318, 2008. (Pubitemid 351761989)
2. B. Cuenca Grau, I. Horrocks, B. Motik, B. Parsia, P. Patel-Schneider, and U. Sattler. OWL 2: The next step for OWL. J. of Web Semantics, 2008.
3. I. Horrocks, O. Kutz, and U. Sattler. The even more irresistible SROIQ. In Proc. of KR-06, pages 57-67, 2006.
4. E. Jiménez-Ruiz, B. Cuenca Grau, I. Horrocks, and R. Berlanga Llavori. Supporting concurrent ontology development: Framework, algorithms and tool. Data and Knowledge Engineering, 70(1):146-164, 2011.
5. A. Kalyanpur, B. Parsia, M. Horridge, and E. Sirin. Finding all justifications of OWL DL entailments. In Proc. of ISWC/ASWC, 2007.
6. A. Kalyanpur, B. Parsia, E. Sirin, B. Cuenca Grau, and J. Hendler. Swoop: A Web ontology editing browser. J. of Web Semantics, 4(2):144-153, 2006. (Pubitemid 43868205)
7. B. Konev, D. Walther, and F. Wolter. The logical difference problem for description logic terminologies. In IJCAR-08, volume 5195 of LNCS, 2008.
8. B. Motik, P. Patel-Schneider, and B. Parsia. OWL 2 Web Ontology Language: Structural Specification and Functional-Style Syntax. W3C Cand. Rec., 11 June 2009. http://www.w3.org/TR/2009/ CR-owl2-syntax-20090611/.
9. N. F. Noy and M. A. Musen. PROMPTDIFF: A fixed-point algorithm for comparing ontology versions. In Proc. of AAAI-02, pages 744-750, 2002.