Reasoning with Inconsistent Ontologies
暂无分享,去创建一个
Frank van Harmelen | Annette ten Teije | Zhisheng Huang | F. V. Harmelen | Zhisheng Huang | A. T. Teije
[1] Frank van Harmelen,et al. Reasoning with Inconsistent Ontologies: Framework and Prototype , 2005 .
[2] Salem Benferhat,et al. Handling Locally Stratified Inconsistent Knowledge Bases , 2002, Stud Logica.
[3] Pascal Hitzler,et al. Algorithms for Paraconsistent Reasoning with OWL , 2007, ESWC.
[4] Graeme Hirst,et al. Semantic distance in WordNet: An experimental, application-oriented evaluation of five measures , 2004 .
[5] Hector J. Levesque,et al. A Knowledge-Level Account of Abduction , 1989, IJCAI.
[6] Pierre Marquis,et al. Removing Inconsistencies in Assumption-based Theories Through Knowledge-Gathering Actions , 2001, Stud Logica.
[7] Francesco M. Donini,et al. Complexity of Reasoning , 2003, Description Logic Handbook.
[8] Stefan Schlobach,et al. Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies , 2003, IJCAI.
[9] Zhisheng Huang,et al. An Extended DIG Description Logic Interface for Prolog , 2004 .
[10] Yarden Katz,et al. Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..
[11] Guilin Qi,et al. Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic , 2007, ECSQARU.
[12] Raphael Volz,et al. Cooking the Semantic Web with the OWL API , 2003, SEMWEB.
[13] Nuel D. Belnap,et al. A Useful Four-Valued Logic , 1977 .
[14] Jeff Z. Pan,et al. Inconsistencies, Negations and Changes in Ontologies , 2006, AAAI.
[15] Pierre Marquis,et al. Resource-Bounded Paraconsistent Inference , 2003, Annals of Mathematics and Artificial Intelligence.
[16] Marco Schaerf,et al. Tractable Reasoning via Approximation , 1995, Artif. Intell..