3 Hits in 2.5 sec

Theoretical Foundations of Defeasible Description Logics [article]

Katarina Britz, Giovanni Casini, Thomas Meyer, Kody Moodley, Uli Sattler, Ivan Varzinczak
2019 arXiv   pre-print
In particular, we consider a natural and intuitive semantics for defeasible subsumption, and investigate KLM-style syntactic properties for both preferential and rational subsumption.  ...  classical DL ALC.  ...  Lexicographic closure for defeasible description logics. In [33] K. Britz and I. Varzinczak. Contextual rational closure for defeasible ALC.  ... 
arXiv:1904.07559v1 fatcat:icpvjvw6izctjd7uhirgyifxji

Resolving conflicts in knowledge for ambient intelligence

Martin Homola, Theodore Patkos, Giorgos Flouris, Ján Šefránek, Alexander Šimko, Jozef Frtús, Dimitra Zografistou, Martin Baláž
2015 Knowledge engineering review (Print)  
Knowledge populated between the agents in such systems may be contextually dependent, ambiguous, and incomplete.  ...  As such, it is an interesting and challenging application area for many computer science fields and approaches.  ...  They defined a contextual defeasible logic (MCS instantiated with defeasible logic in each of the contexts), providing a decentralized platform and a set of distributed algorithms for query evaluation.  ... 
doi:10.1017/s0269888915000132 fatcat:dsa3goyft5bfxezoaz7iwuuauu

Ontologies and Data Management: A Brief Survey

Thomas Schneider, Mantas Šimkus
2020 Künstliche Intelligenz  
This survey gives an overview of research work on the use of ontologies for accessing incomplete and/or heterogeneous data.  ...  We would like to thank Anni-Yasmin Turhan, Magdalena Ortiz, and the anonymous reviewers for their useful remarks, which helped us to improve this survey.  ...  Britz K, Meyer T, Varzinczak IJ (2011) Semantic foundation for preferential description logics.  ... 
doi:10.1007/s13218-020-00686-3 pmid:32999532 pmcid:PMC7497697 fatcat:zeskjfjrpvcojjh6q3yjzhlyci