Measuring inconsistency for description logics based on paraconsistent semantics

CEUR Workshop Proceedings

Volumn 250, Issue , 2007, Pages 403-410

  Ma, Yue ^a,b   Qi, Guilin ^b   Hitzler, Pascal ^b   Lin, Zuoquan ^a  

^a PEKING UNIVERSITY   (China)

^b UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DESCRIPTION LOGIC; INCONSISTENCY HANDLING; MEASURING INCONSISTENCY; PARACONSISTENT SEMANTICS;

FORMAL LANGUAGES; SEMANTICS;

DATA DESCRIPTION;

EID: 84872902579     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. Huang, Z., van Harmelen, F., ten Teije, A.: Reasoning with inconsistent ontologies. In: Proc. of 19th International Joint Conference on Artificial Intelligence(IJCAI'05). Morgan Kaufmann (2005) 254-259.
2. Ma, Y., Hitzler, P., Lin, Z.: Algorithms for paraconsistent reasoning with OWL. In: Proceedings of the 4th International Semantic Web Conference, ESWC07, Innsbruck, Austria, June 2007. (2007) To appear.
3. Schlobach, S.: Diagnosing terminologies. In: Proc. of AAAI'05. (2005) 670-675.
4. Parsia, B., Sirin, E., Kalyanpur, A.: Debugging OWL ontologies. In: Proc. of WWW'05. (2005) 633-640.
5. Hunter, A.: How to act on inconsistent news: Ignore, resolve, or reject. Data Knowl. Eng. 57 (2006) 221-239.
6. Hunter, A.: Measuring inconsistency in knowledge via quasi-classical models. In: AAAI/IAAI. (2002) 68-73.
7. Hunter, A., Konieczny, S.: Approaches to measuring inconsistent information. In Bertossi, L.E., Hunter, A., Schaub, T., eds.: Inconsistency Tolerance. Volume 3300 of Lecture Notes in Computer Science., Springer (2005) 191-236.
8. Hunter, A., Konieczny, S.: Shapley inconsistency values. In Doherty, P., Mylopoulos, J., Welty, C.A., eds.: KR, AAAI Press (2006) 249-259.
9. Knight, K.M.: Measuring inconsistency. Journal of Philosophical Logic 31 (2001) 77-98.
10. Oller, C.A.: Measuring coherence using LP-models. J. Applied Logic 2 (2004) 451-455.
11. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P., eds.: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press (2003).
12. Belnap, N.D.: A useful four-valued logic. Modern uses of multiple-valued logics (1977) 7-73.
13. Grant, J., Hunter, A.: Measuring inconsistency in knowledgebases. J. Intell. Inf. Syst. 27 (2006) 159-184.
14. Hunter, A.: A semantic tableau version of first-order quasi-classical logic. In Benferhat, S., Besnard, P., eds.: ECSQARU. Volume 2143 of Lecture Notes in Computer Science., Springer (2001) 544-555.