Paraconsistent resolution for four-valued description logics

CEUR Workshop Proceedings

Volumn 250, Issue , 2007, Pages 395-402

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

^a PEKING UNIVERSITY   (China)

^b UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DECISION PROCEDURE; DESCRIPTION LOGIC; DISJUNCTIVE DATALOG;

FORMAL LANGUAGES;

DATA DESCRIPTION;

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

References (11)

1. Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: IJCAI. (2003) 355-362.
2. Huang, Z., van Harmelen, F., ten Teije, A.: Reasoning with inconsistent ontologies. In: IJCAI. (2005) 454-459.
3. Patel-Schneider, P.F.: A four-valued semantics for terminological logics. Artificial Intelligence 38 (1989) 319-351.
4. Straccia, U.: A sequent calculus for reasoning in four-valued description logics. In: TABLEAUX. (1997) 343-357.
5. Straccia, U.: Foundations of a logic based approach to multimedia document retrieval. Department of Computer Science, University of Dortmund, Dortmund, Germany (June, 1999).
6. Ma, Y., Hitzler, P., Lin, Z.: Algorithms for paraconsistent reasoning with OWL. In: Proc. of ESWC. (2007) To appear.
7. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P., eds.: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press (2003).
8. Motik, B.: Reasoning in description logics using resolution and deductive databases. PhD theis, University Karlsruhe, Germany (2006).
9. Kamide, N.: Foundations of paraconsistent resolution. Fundamenta Informaticae 71 (2006) 419-441.
10. Fitting, M.: First-Order Logic and Automated Theorem Proving, 2nd Edition. Texts in Computer Science. Springer (1996).
11. Plaisted, D.A., Greenbaum, S.: A structure-preserving clause form translation. J. Symb. Comput. 2 (1986) 293-304.