A tableau algorithm for handling inconsistency in OWL

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

Volumn 5554 LNCS, Issue , 2009, Pages 399-413

  Zhang, Xiaowang ^a,b   Xiao, Guohui ^a   Lin, Zuoquan ^a  

^a PEKING UNIVERSITY   (China)

^b ANHUI UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

DESCRIPTION LOGIC; INCOMPLETE DATA; INFERENCE RULES; KNOWLEDGE SOURCES; MODUS PONENS; PARACONSISTENT REASONING; TABLEAU ALGORITHM;

DATA DESCRIPTION; SEMANTIC WEB; SEMANTICS;

WORLD WIDE WEB;

EID: 69849101775     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02121-3_31     Document Type: Conference Paper

References (20)

1. Bell, D.A., Qi, G., Liu, W.: Approaches to inconsistency handling in description-logic based ontologies. In: Meersman, R., Tari, Z., Herrero, P. (eds.) OTM-WS 2007, Part II. LNCS, vol.4806, pp. 1303-1311. Springer, Heidelberg (2007)
2. Besnard, P., del Cerro, L.F., Gabbay, D.M., Hunter, A.: Logical handling of inconsistent and default information. In: Uncertainty Management in Information Systems, pp. 325-342 (1996)
3. Huang, Z., van Harmelen, R, ten Teije, A.: Reasoning with inconsistent ontologies. In: Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI 2005, Edinburgh, Scotland, UK, July 30-August 5, 2005, pp. 454-459. Professional Book Center (2005)
4. Patel-Schneider, P.F., Hayes, P., Horrocks, I.: Owl web ontology language semantics and abstract syntax section 5. rdf-compatible model-theoretic semantics. Technical report, W3C (December 2004)
5. Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, IJCAI 2003, Acapulco, Mexico, pp. 355-362. Morgan Kaufmann, San Francisco (2003)
6. Haase, P., van Harmelen, F., Huang, Z., Stuckenschmidt, H., Sure, Y.: A framework for handling inconsistency in changing ontologies. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol.3729, pp. 353-367. Springer, Heidelberg (2005)
7. Straccia, U.: A sequent calculus for reasoning in four-valued description logics. In: Galmiche, D. (ed.) TABLEAUX 1997. LNCS, vol.1227, pp. 343-357. Springer, Heidelberg (1997)
8. Ma, Y, Hitzler, P., Lin, Z.: Algorithms for paraconsistent reasoning with owl. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol.4519, pp. 399-413. Springer, Heidelberg (2007)
9. Ma, Y, Hitzler, P., Lin, Z.: Paraconsistent resolution for four-valued description logics. In: Proceedings of the 2007 International Workshop on Description Logics (DL 2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, June 8-10, 2007, vol.250. CEUR-WS.org (2007)
10. Ma, Y, Hitzler, P., Lin, Z.: Paraconsistent reasoning for expressive and tractable description logics. In: Proceedings of the 21st International Workshop on Description Logics (DL 2008), Dresden, Germany, May 13-16, 2008, CEUR-WS.org (2008)
11. Qi, G., Pan, J.Z., Ji, Q.: Extending description logics with uncertainty reasoning in possibilis-tic logic. In: Mellouli, K. (ed.) ECSQARU 2007. LNCS, vol.4724, pp. 828-839. Springer, Heidelberg (2007)
12. Belnap, N.D.: A useful four-valued logic. Modern uses of multiple-valued logics, 7-73 (1977)
13. Ma, Y, Qi, G., Hitzler, P., Lin, Z.: Measuring inconsistency for description logics based on paraconsistent semantics. In: Proceedings of the 2007 International Workshop on Description Logics (DL 2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, June 8-10, 2007. CEUR Workshop Proceedings, vol.250, CEUR-WS.org (2007) RR 2008.
14. Zhang, X., Lin, Z.: Paraconsistent reasoning with quasi-classical semantic in ale. In: Calvanese, D., Lausen, G. (eds.) RR 2008. LNCS, vol.5341, pp. 222-229. Springer, Heidelberg (2008)
15. Besnard, P., Hunter, A.: Quasi-classical logic: Non-trivializable classical reasoning from in-cosistent information. In: Froidevaux, C, Kohlas, J. (eds.) ECSQARU 1995. LNCS, vol.946, pp. 44-51. Springer, Heidelberg (1995)
16. Hunter, A.: Reasoning with contradictory information using quasi-classical logic. J. Log. Comput. 10(5), 677-703 (2000)
17. Baader, R, Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)
18. Horrocks, I., Sattler, U., Tobies, S.: Reasoning with individuals for the description logic shiq. CoRR cs.LO/0005017 (2000)
19. Horrocks, I., Sattler, U.: A tableaux decision procedure for shoiq. In: Kaelbling, L.P., Saf-fiotti, A. (eds.) IJCAI, pp. 448-453. Professional Book Center (2005)
20. Patel-Schneider, P.F.: A four-valued semantics for terminological logics. Artificial Intelligence 38, 319-351 (1989)