Non-monotonic Reasoning in Conceptual Modeling and Ontology Design: A Proposal
暂无分享,去创建一个
[1] Piero A. Bonatti,et al. Defeasible Inclusions in Low-Complexity DLs , 2011, J. Artif. Intell. Res..
[2] Enrico Franconi,et al. The formalisation of ORM2 and its encoding in OWL2 , 2012 .
[3] Daniel Lehmann,et al. What does a Conditional Knowledge Base Entail? , 1989, Artif. Intell..
[4] Thomas Andreas Meyer,et al. Semantic Foundation for Preferential Description Logics , 2011, Australasian Conference on Artificial Intelligence.
[5] Enrico Franconi,et al. ORM2: Formalisation and Encoding in OWL2 , 2012, OTM Workshops.
[6] Laura Giordano,et al. ALC + T: a Preferential Extension of Description Logics , 2009, Fundam. Informaticae.
[7] Frank Wolter,et al. Semi-qualitative Reasoning about Distances: A Preliminary Report , 2000, JELIA.
[8] Diego Calvanese,et al. The Description Logic Handbook , 2007 .
[9] Umberto Straccia,et al. Rational Closure for Defeasible Description Logics , 2010, JELIA.
[10] Terry Halpin,et al. Information modeling and relational databases: from conceptual analysis to logical design , 2001 .
[11] Dianhui Wang,et al. AI 2011: Advances in Artificial Intelligence - 24th Australasian Joint Conference, Perth, Australia, December 5-8, 2011. Proceedings , 2011, Australasian Conference on Artificial Intelligence.