Inferring with inconsistent OWL DL ontology: A multi-valued logic approach

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

Volumn 4254 LNCS, Issue , 2006, Pages 535-553

  Ma, Yue ^a   Lin, Zuoquan ^a   Lin, Zhangang ^a  

^a PEKING UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

DATA REDUCTION; DATA STRUCTURES; FORMAL LOGIC; MATHEMATICAL MODELS; WORLD WIDE WEB;

CLASSICAL REASONING; DESCRIPTION LOGIC; ONTOLOGY; REASONING PROBLEMS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 33845250891     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11896548_40     Document Type: Conference Paper

References (18)

1. F. Patel-Schneider Peter and Horrocks Ian. Owl web ontology language semantics and abstract syntax. W3C Recommendation, 10 February, 2004.
2. Baader Franz, Horrocks Ian, and Ulrike Sattler. Description logic as ontology languages for the semantic web. In Proceedings of the Workshop on Methods for Modalities 2001, 2001.
3. Horrocks Ian and F. Patel-Schneider Peter. Reducing owl entailment to description logic satisfiability. J. Web Sem., 1(4):345-357, 2004.
4. Salem BENFERHAT, Rania EL BAIDA, and Frédéric CUPPENS. A stratification-based approach for handling conflicts in access control. Symposium on Access Control Models and Technologies (SACMAT'03), June 2-3, 2003.
5. Zuoquan Lin and Wei Li. Para-consistent logic(I) - the study of traditional para-consistent logic. Computer Science, 21(5), 1994.
6. Zuoquan Lin and Wei Li. Para-consistent logic(II) - the study of new para-consistent logic. Computer Science, 21(6), 1994.
7. Zuoquan Lin and Wei Li. Para-consistent logic(III) - the logic base of para-consistent logic. Computer Science, 22(1), 1995.
8. N.D.Belnap. A useful four-valued logic. Modern uses of multiple-valued logic, pages 7-73, 1977.
9. N.D.Belnap. How a computer should think. Comtemporary Aspects of Philosophy: Proceedings of the Oxford International Symposium, pages 30-56, 1977.
10. Peter F.Patel-Schneider. A four-valued semantics for terminological logics. Artificial Intelligence, 38:319-351, 1989.
11. Zhisheng Huang, Frank van Harmelen, and Annette ten Teije. Reasoning with inconsistent ontologies. In Leslie Pack Kaelbling and Alessandro Saffiotti, editors, IJCAI, pages 454-459. Professional Book Center, 2005.
12. Melvin Fitting. Bilattices are nice things, proceedings of Conference on Self-Reference, 2002.
13. Ofer Arieli and Arnon Avron. The value of the four values. Artificial Intelligence, 102:97-141, 1998.
14. Ofer Arieli and Avron A. Reasoning with logical bilattices. J.Logic,Language and Information, 5(1):25-63, 1996.
15. Ofer Arieli and Marc Denecker. Modeling paraconsistent reasoning by classical logic. In Thomas Eiter and Klaus-Dieter Schewe, editors, FoIKS, volume 2284 of Lecture Notes in Computer Science, pages 1-14. Springer, 2002.
16. Ofer Arieli. Paraconsistent preferential reasoning by signed quantified boolean formulae. In Ramon López de Mántaras and Lorenza Saitta, editors, ECAI, pages 773-777. IOS Press, 2004.
17. Anbu Yue, Yue Ma, and Zuoquan Lin. Four-valued semantics for default logic. In Luc Lamontagne and Mario Marchand, editors, Canadian Conference on AI, volume 4013 of Lecture Notes in Computer Science, pages 195-205. Springer, 2006.
18. Salem Benferhat, Didier Dubois, and Henri Prade. Nonmonotonic reasoning, conditional objects and possibility theory. Artif. Intell., 92(1-2):259-276, 1997.