Algorithms for paraconsistent reasoning with OWL

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

Volumn 4519 LNCS, Issue , 2007, Pages 399-413

  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

ALGORITHMS; CASE BASED REASONING; KNOWLEDGE BASED SYSTEMS; MATHEMATICAL TRANSFORMATIONS; SEMANTIC WEB;

DESCRIPTION LOGICS; KNOWLEDGE BASES; PARACONSISTENT REASONING; PRACTICAL REASONING TECHNIQUES;

QUERY LANGUAGES;

EID: 34548081277     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-72667-8_29     Document Type: Conference Paper

References (14)

1. Hayes, P., Horrocks, I., Patel-Schneider, P.F.: OWL Web Ontology Language Semantics and Abstract Syntax. W3C Recommendation 10 February 2004 (2004)
2. Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In Gottlob, G., Walsh, T., eds.: IJCAI, Morgan Kaufmann (2003) 355-362
3. 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.: International Semantic Web Conference. Volume 3729 of Lecture Notes in Computer Science., Springer (2005) 353-367
4. Patel-Schneider, P.F.: A four-valued semantics for terminological logics. Artificial Intelligence 38 (1989) 319-351
5. Straccia, U.: A sequent calculus for reasoning in four-valued description logics. In Galmiche, D., ed.: TABLEAUX. Volume 1227 of Lecture Notes in Computer Science., Springer (1997) 343-357
6. Ma, Y., Lin, Z., Lin, Z.: Inferring with inconsistent OWL DL ontology: A multi-valued logic approach. In Grust, T., et al., eds.: EDBT Workshops. Volume 4254 of Lecture Notes in Computer Science., Springer (2006) 535-553
7. Belnap, N.D.: A useful four-valued logic. Modern uses of multiple-valued logics (1977) 7-73
8. Arieli, O., Avron, A.: The value of the four values. Artif. Intell. 102 (1998) 97-141
9. Motik, B.: Reasoning in description logics using resolution and deductive databases. PhD theis, University Karlsruhe, Germany (2006)
10. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P., eds.: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press (2003)
11. Horrocks, I., Patel-Schneider, P.F.: Reducing OWL entailment to description logic satisfiability. J. Web Sem. 1 (2004) 345-357
12. Arieli, O., Avron, A.: Reasoning with logical bilattices. Journal of Logic, Language and Information 5 (1996) 25-63
13. Kamide, N.: Foundations of paraconsistent resolution. Fundamenta Informaticae 71 (2006) 419-441
14. Fitting, M.: First-Order Logic and Automated Theorem Proving, 2nd Edition. Texts in Computer Science. Springer (1996)