Filters








19 Hits in 1.6 sec

Preface

Flavio Ferrarotti, Stefan Woltran
2019 Annals of Mathematics and Artificial Intelligence  
-In the paper Contextual Rational Closure for Defeasible ALC, Katarina Britz and Ivan Varzinczak tackle the problem of extending description logics to support defeasible reasoning.  ...  More specifically, they introduce an extension of the description logic ALC to represent both defeasible constructs on complex concepts and contextual defeasible subsumption.  ...  List of Reviewers Publisher's note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.  ... 
doi:10.1007/s10472-019-09667-1 fatcat:olcrp5b5tjdypocn2emuuy7pgu

A framework for a modular multi-concept lexicographic closure semantics [article]

Laura Giordano, Daniele Theseider Dupré
2020 arXiv   pre-print
We define a modular multi-concept extension of the lexicographic closure semantics for defeasible description logics with typicality.  ...  The idea is that of distributing the defeasible properties of concepts into different modules, according to their subject, and of defining a notion of preference for each module based on the lexicographic  ...  Further issues: Reasoning with a hierarchy of modules and user-defined preferences The approach considered in Section 4 does not allow to reason with a hierarchy of modules, but it considers a flat collection  ... 
arXiv:2009.00964v2 fatcat:zlhzj3epynavpear2yghztr7ne

Theoretical Foundations of Defeasible Description Logics [article]

Katarina Britz, Giovanni Casini, Thomas Meyer, Kody Moodley, Uli Sattler, Ivan Varzinczak
2019 arXiv   pre-print
We extend description logics (DLs) with non-monotonic reasoning features.  ...  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

A conditional, a fuzzy and a probabilistic interpretation of self-organising maps [article]

Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2021 arXiv   pre-print
respect to different concepts and has been recently proposed for ranked and for weighted defeasible description logics.  ...  training can be described by a fuzzy description logic interpretation as well as by a preferential interpretation, based on a concept-wise multipreference semantics, which takes into account preferences with  ...  proposed for reasoning with ranked EL + ⊥ knowledge bases [40] .  ... 
arXiv:2103.06854v2 fatcat:df5kf433xbbajbc7n7ndrerj6m

An ASP approach for reasoning in a concept-aware multipreferential lightweight DL

Laura Giordano, Daniele Theseider Dupré
2020 Theory and Practice of Logic Programming  
We exploit Answer Set Programming (in particular, asprin) to achieve defeasible reasoning under the multipreference approach for the lightweight description logic ξ$\mathcal L_ \bot ^ + $.  ...  AbstractIn this paper we develop a concept aware multi-preferential semantics for dealing with typicality in description logics, where preferences are associated with concepts, starting from a collection  ...  Bozzato et al. (2014; present extensions of the CKR (Contextualized Knowledge Repositories) framework in which defeasible axioms are allowed in the global context and exceptions can be handled by overriding  ... 
doi:10.1017/s1471068420000381 fatcat:o53oiwm5sfenle74de7frnat4m

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)  
Conflicts may thus naturally arise, that need to be dealt with by the agents in an autonomous way.  ...  Knowledge populated between the agents in such systems may be contextually dependent, ambiguous, and incomplete.  ...  SK-GR-0070-11 with the APVV agency and co-financed by the Greek General Secretariat of Science and Technology and the European Union.  ... 
doi:10.1017/s0269888915000132 fatcat:dsa3goyft5bfxezoaz7iwuuauu

On the Logical Properties of the Description Logic DL^N (Extended abstract)

Piero A. Bonatti, Luigi Sauro
2018 Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence  
In this paper we study the logical properties of DL^N and their relationships with the KLM postulates.  ...  We use various versions of the KLM postulates to deepen the comparison with related work, and illustrate the different tradeoffs between opposite expressivity requirements adopted by each approach.  ...  ., 2015a] , a new nonmonotonic description logic called DL N has been introduced with the goal of supporting ontology authoring by means of nonmonotonic reasoning.  ... 
doi:10.24963/ijcai.2018/784 dblp:conf/ijcai/BonattiS18 fatcat:k5e5zxkjlvanroyxbpafyziliy

Ontological aspects of the implementation of norms in agent-based electronic institutions

Davide Grossi, Huib Aldewereld, Javier Vázquez-Salceda, Frank Dignum
2006 Computational and mathematical organization theory  
In this paper we analyse this phenomenon introducing a notion of contextual ontology. We will focus on the formal machinery necessary to characterise it as well.  ...  Before ending the section, we confront this context-based approach with the more standard ones based instead on the defeasible reasoning paradigm.  ...  reasoning issues (eminently, reasoning with violations).  ... 
doi:10.1007/s10588-006-9546-6 fatcat:dpwno3vwljbxthe2stbvbmge2a

A survey of large-scale reasoning on the Web of data

Grigoris Antoniou, Sotiris Batsakis, Raghava Mutharaju, Jeff Z. Pan, Guilin Qi, Ilias Tachmazidis, Jacopo Urbani, Zhangquan Zhou
2018 Knowledge engineering review (Print)  
However, reasoning approaches need to be scalable in order to enable reasoning over the entire Web of Data.  ...  These systems differ significantly; for instance in terms of reasoning expressivity, computational properties such as completeness, or reasoning objectives.  ...  with Ontologies."  ... 
doi:10.1017/s0269888918000255 fatcat:bergc5uphbceznigppektgvzrm

An ASP approach for reasoning in a concept-aware multipreferential lightweight DL [article]

Laura Giordano, Daniele Theseider Dupré
2020 arXiv   pre-print
We exploit Answer Set Programming (in particular, asprin) to achieve defeasible reasoning under the multipreference approach for the lightweight description logic EL+bot.  ...  In this paper we develop a concept aware multi-preferential semantics for dealing with typicality in description logics, where preferences are associated with concepts, starting from a collection of ranked  ...  Bozzato et al. (2014; present extensions of the CKR (Contextualized Knowledge Repositories) framework in which defeasible axioms are allowed in the global context and exceptions can be handled by overriding  ... 
arXiv:2006.04387v2 fatcat:5filqvcrpfhn5djcrlkernigki

Ontologies and Data Management: A Brief Survey

Thomas Schneider, Mantas Šimkus
2020 Künstliche Intelligenz  
Information systems have to deal with an increasing amount of data that is heterogeneous, unstructured, or incomplete.  ...  Bozzato L, Eiter T, Serafini L (2019) Reasoning on DL-Lite R with defeasibility in ASP.  ...  The problem is 2ExpTimE-complete for extensions of ALC with inverse roles [272] , with nominals [299] , with role hierarchies and transitivity [152] , or for positive first-order queries in plain ALC  ... 
doi:10.1007/s13218-020-00686-3 pmid:32999532 pmcid:PMC7497697 fatcat:zeskjfjrpvcojjh6q3yjzhlyci

Expressive probabilistic description logics

Thomas Lukasiewicz
2008 Artificial Intelligence  
We then present sound and complete algorithms for the main reasoning problems in the new probabilistic description logics, which are based on reductions to reasoning in their classical counterparts, and  ...  The work in this paper is directed towards sophisticated formalisms for reasoning under probabilistic uncertainty in ontologies in the Semantic Web.  ...  The contextual inconsistency between the two conditional constraints when reasoning about pacemaker patients is then resolved by preferring the latter to the former.  ... 
doi:10.1016/j.artint.2007.10.017 fatcat:xhd5zpbx2bbflen2vsswy72w2i

A linguistic ontology of space for natural language processing

John A. Bateman, Joana Hois, Robert Ross, Thora Tenbrink
2010 Artificial Intelligence  
We describe the general nature and features of this ontology and show how we have extended it for working particularly with space.  ...  Treaitng the semantics of natural language expressions concerning space in this way offers a substantial simplification of the general problem of relating natural spatial language to its contextualized  ...  To cope with this, they suggest adding a defeasible inference to the lexical semantics of 'run' concerning whether or not the eventuality described involves change of location.  ... 
doi:10.1016/j.artint.2010.05.008 fatcat:sd5lfst4tvaxlnvbpsswqjop5e

A Survey of Computational Semantics: Representation, Inference and Knowledge in Wide-Coverage Text Understanding

Johan Bos
2011 Language and Linguistics Compass  
Promising future research directions of computational semantics are investigating alternative representation and inference methods (using weaker variants of first-order logic, reasoning with defaults),  ...  The models produced by model generators for texts not only show that the text is contradiction-free; they also can be used for disambiguation tasks and linking interpretation with the real world.  ...  We also briefly present several alternative inference methods: non-monotonic reasoning, abductive reasoning and reasoning with natural logic.  ... 
doi:10.1111/j.1749-818x.2011.00284.x fatcat:23b6p3m2w5bi7llo6vi6hie24y

A corpus-based analysis of new English blends

Mattiello Elisa
2018 Lexis: Journal in English Lexicology  
the end of another (e.g. gasohol ← gas(oline) + (alc)ohol).  ...  Table 1 reports a sample (ten instances) of such nonce blends (all nouns except one adjective), followed by their source words, date/meaning, and a contextualized example taken from the OED quotes.  ... 
doi:10.4000/lexis.3660 fatcat:ecmlnut4kngzfhzbfltddexmje
« Previous Showing results 1 — 15 out of 19 results