Reasoning With Inconsistent Ontologies: Framework, Prototype, and Experiment

Semantic Web Technologies: Trends and Research in Ontology-based Systems

Volumn , Issue , 2006, Pages 71-93

  Huang, Zhisheng ^a   Harmelen, Frank Van ^a   Ten Teije, Annette ^a  

^a NONE

Author keywords

Classical logical inference engines; DICE (Diagnoses for Intensive Care Evaluation); Inconsistency reasoner and selection function; Linear extension and linear reduction strategy; Logical entailment; Polysemy; Prototype of PION using SWI Prolog; Reasoning with inconsistent ontologies; Syntactic relevance based selection functions

Indexed keywords

EID: 44349121417     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1002/047003033X.ch5     Document Type: Chapter

References (20)

1. Alchourron C, Gaerdenfors P, Makinson D. 1985. On the logic of theory change: partial meet contraction and revision functions. The Journal of Symbolic Logic 50: 510-530.
2. Belnap N. 1977. A useful four-valued logic. In Modern Uses of Multiple-Valued Logic, Reidel, Dordrecht, pp8-37.
3. Benferhat S, Garcia L. 2002. Handling locally stratified inconsistent knowledge bases, Studio Logica, 77-104.
4. Beziau J-Y. 2000. What is paraconsistent logic. In Frontiers of Paraconsistent Logic. Research Studies Press: Baldock, pp95-111.
5. Budanitsky A, Hirst G. 2001. Semantic distance in wordnet: An experimental, application-oriented evaluation of five measures. In Workshop on WordNet and Other Lexical Resources, Pittsburgh, PA.
6. Chopra S, Parikh R, Wassermann R. 2000. Approximate belief revision-prelimininary report. Journal of IGPL.
7. Flouris G, Plexousakis D. Antoniou G. 2005. On applying the agm theory to dls and owl. In International Semantic Web Conference, LNCS, Springer verlag.
8. Friedrich G, Shchekotykhin K. 2005. A general diagnosis method for ontologies. In International Semantic Web Conference, LNCS, Springer Verlag.
9. Hameed A, Preece A. Sleeman D. 2003. Ontology reconciliation. In Handbook on Ontologies in Information Systems. Springer Verlag, pp231-250.
10. Huang Z, van Harmelen F, ten Teije A. 2005. Reasoning with inconsistent ontologies. In Proceedings of the International Joint Conference on Artificial Intelligence - IJCAI'05, pp454-459.
11. Huang Z, Visser C. 2004. Extended DIG description logic interface support for PROLOG, Deliverable D3.4.1.2, SEKT.
12. Lang J, Marquis P. 2001. Removing inconsistencies in assumption-based the-ories through knowledge-gathering actions. Studio, Logica, 179-214.
13. Levesque HJ (1989). A Knowledge-level account of abduction. In Proceedings of IJCAI'89, pp 1061-1067.
14. Marquis P, Porquet N. 2003. Resource-bounded paraconsistent inference. Annals of Mathematics and Artificial Intelligence, 349-384.
15. McGuinness D, van Harmelen F. 2004. Owl web ontology language, Recommendation, W3C. http://www.w3.org/TR/owl-features/.
16. Reiter R. 1987. A theory of diagnosis from first principles. Artificial Intelligence Journal 32:57-96.
17. Schaerf M, Cadoli M. 1995. Tractable reasoning via approximation. Artificial Intelligence, 249-310.
18. Schlobach S. 2005a. Debugging and semantic clarification by pinpointing. In Proceedings of the European Semantic Web Symposium, Vol. 3532 of LNCS, Springer Verlag, pp226-240.
19. Schlobach S. 2005b. Diagnosing terminologies. In Proceedings of the Twentieth National Conference on Artificial Intelligence, AAAI'05, AAAI, pp670-675.
20. Schlobach S, Cornet R. 2003. Non-standard reasoning services for the debugging of description logic terminologies. In Proceedings of IJCAI 2003'. Schlobach S, Huang Z. 2005 Inconsistent ontology diagnosis: Framework and prototype, Project Report D3.6.1, SEKT.