Repairing unsatisfiable concepts in OWL ontologies

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4011 LNCS, Issue , 2006, Pages 170-184

  Kalyanpur, Aditya ^a   Parsia, Bijan ^a   Sirin, Evren ^a   Cuenca Grau, Bernardo ^b  

^a UNIVERSITY OF MARYLAND   (United States)

^b UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; ERROR ANALYSIS; FORMAL LANGUAGES; INTERACTIVE COMPUTER SYSTEMS; PROBLEM SOLVING; REPAIR;

ERRONEOUS AXIOMS; ONTOLOGIES; REPAIRING;

WORLD WIDE WEB;

EID: 33746054122     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11762256_15     Document Type: Conference Paper

References (14)

1. Gardenfors P. Makinson D. Alchourron, C. On the logic of theory change: Partial meet contraction and revision functions. 1985. Journal of Symbolic Logic 50 (1985).
2. Li Ding, Rong Pan, Tim Finin, Anupam Joshi, Yun Peng, and Pranam Kolari. Finding and Ranking Knowledge on the Semantic Web. In Proceedings of the 4th International Semantic Web Conference, LNCS 3729, pages 156-170. Springer, November 2005.
3. Nicola Guarino and Christopher Welty. Evaluating ontological decisions with ontoclean. Commun. ACM, 45(2):61-65, 2002.
4. A. Kalyanpur, B. Parsia, B. Cuenca-Grau, and E. Sirin. Axiom pinpointing: Finding (precise) justifications for arbitrary entailments in SHΟIN (owl-dl). Technical report, UMIACS, 2005-66, 2006. Technical Report.
5. A. Kalyanpur, B. Parsia, E.Sirin, B. Cuenca-Grau, and J. Hendler. Swoop: A web ontology editing browser. Journal of Web Semantics, 2005. To Appear.
6. Aditya Kalyanpur, Bijan Parsia, Evren Sirin, and James Hendler. Debugging unsatisfiable classes in owl ontologies. Journal of Web Semantics, Volume 3 Issue 4, 2005. (To Appear).
7. N. Noy, M. Sintek, S. Decker, M. Crubezy, R. Fergerson, and M. Musen. Creating semantic web contents with Protégé-2000. IEEE Intelligent Systems, 2001.
8. Daniel Oberle, Raphael Volz, Boris Motik, and Steffen Staab. An extensible ontology software environment. In Steffen Staab and Rudi Studer, editors, Handbook on Ontologies, International Handbooks on Information Systems, chapter III, pages 311-333. Springer, 2004.
9. Alan Rector, Nick Drummond, Matthew Horridge, Jeremy Rogers, Holger Knublauch, Robert Stevens, Hai Wang, and Chris Wroe. OWL Pizzas: Practical Experience of Teaching OWL-DL: Common Errors & Common Patterns. In EKAW, pages 63-81, 2004.
10. R. Reiter. A theory of diagnosis from first principles. 1987. Artificial Intelligence 32:57-95.
11. S. Schlobach. Debugging and semantic clarification by pinpointing. 2005. European Semantic Web Conference ESWC.
12. S. Schlobach. Diagnosing terminologies. In In Proceedings of AAAI'05, 2005.
13. S. Schlobach and R. Cornet. Non-standard reasoning services for the debugging of description logic terminologies. In Proceedings of IJCAI, 2003.
14. Evren Sirin, Bijan Parsia, Bernardo Cuenca Grau, Aditya Kalyanpur, and Yarden Katz. Pellet: A practical owl-dl reasoner. Technical report, University of Maryland Institute for Advanced Computes Studies (UMIACS), 2005-68, 2005. Available online at http://www.mindswap.org/papers/PelletDemo.pdf.