Inconsistencies, Negations and Changes in Ontologies
暂无分享,去创建一个
Jeff Z. Pan | Zhisheng Huang | Dimitris Plexousakis | Holger Wache | Giorgos Flouris | Zhisheng Huang | G. Flouris | D. Plexousakis | H. Wache
[1] Frank van Harmelen,et al. A Framework for Handling Inconsistency in Changing Ontologies , 2005, SEMWEB.
[2] Diego Calvanese,et al. The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.
[3] Michael Uschold,et al. Ontologies: principles, methods and applications , 1996, The Knowledge Engineering Review.
[4] PETER GÄRDENFORS,et al. Belief Revision , 2003 .
[5] Stefan Schlobach,et al. Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies , 2003, IJCAI.
[6] Peter F. Patel-Schneider,et al. Reducing OWL entailment to description logic satisfiability , 2004, Journal of Web Semantics.
[7] Grigoris Antoniou,et al. Generalizing the AGM postulates: preliminary results and applications , 2004, NMR.
[8] Ian Horrocks,et al. Practical Reasoning for Very Expressive Description Logics , 2000, Log. J. IGPL.
[9] Peter Gärdenfors,et al. Belief Revision , 1995 .
[10] Peter Gärdenfors,et al. On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.
[11] Frank van Harmelen,et al. Reasoning with Inconsistent Ontologies , 2005, IJCAI.
[12] André Fuhrmann,et al. Theory contraction through base contraction , 1991, J. Philos. Log..