1,553 Hits in 2.6 sec

Action Based ABox Update: an Example from the Chemical Compound Formulation

Alessandro Mosca, Matteo Palmonari
2007 International Workshop on Description Logics  
(ii) The representation of the transitions of a LTS as a set of actions producing updates on ABoxes; (iii) the definition of an algorithm to check ABox consistency with respect to a specific axiom schema  ...  This paper presents a computational model for the Compounding Problem based on the interpretation of transformation actions on the compound structures as ABox updates.  ...  the logic itself.  ... 
dblp:conf/dlog/MoscaP07 fatcat:5gieftqdczewbiddnn2eeoddcq

Description Logic Reasoning for Dynamic ABoxes

Christian Halaschek-Wiener, Bijan Parsia, Evren Sirin, Aditya Kalyanpur
2006 International Workshop on Description Logics  
In this paper, we have presented an algorithm for updating completion graphs for the Description Logics SHIQ(D) and SHOQ(D) under both the addition and removal of ABox assertions, providing a critical  ...  Lastly, one of the common uses of description logic reasoners is in ontology editors.  ...  Due to data sources that produce fluctuating data, there exists a variety of description logic reasoning use cases which require frequent updates at the assertional level.  ... 
dblp:conf/dlog/Halaschek-WienerPSK06 fatcat:rkeexgdljbgzzp5wshoycxbone

Repairing ABoxes through Active Integrity Constraints

Christos Rantsoudis, Guillaume Feuillade, Andreas Herzig
2017 International Workshop on Description Logics  
In this paper, we extend description logic TBoxes by a similar set of preferred actions and tackle the problem of ABox repairing by taking into account the new "active" TBox.  ...  While this is a known issue in the database community, it has not yet been directly applied to description logics.  ...  Background We will use the basic description logic ALC and its extension ALCO with nominals [1] .  ... 
dblp:conf/dlog/RantsoudisFH17 fatcat:6zlfngagqzc53iq4yoiqegoqpm

Foundations of instance level updates in expressive description logics

Hongkai Liu, Carsten Lutz, Maja Miličić, Frank Wolter
2011 Artificial Intelligence  
In description logic (DL), ABoxes are used for describing the state of affairs in an application domain.  ...  It turns out that DLs have to include nominals and the '@' constructor of hybrid logic for updated ABoxes to be expressible, and that this still holds when updated ABoxes are approximated.  ...  A description logic L has semantic updates if for every L-ABox A and update U , there is an L-ABox A with A ⇒ U A .  ... 
doi:10.1016/j.artint.2011.08.003 fatcat:sy5o53mrjncsvpujo3jbzuhhla

Constructive DL Update and Reasoning for Modeling and Executing the Orchestration of Heterogeneous Processes

Serge Autexier, Dieter Hutter
2013 International Workshop on Description Logics  
It uses Description Logic to represent a current state, which is constantly updated by messages sent by sensors and other processes.  ...  We formulate restrictions on ABoxes and their updates to always ensure a constructive specification of the current state while keeping the general rules of the system (i.e the TBox and RBOX) invariant.  ...  Using Description Logic to represent the environment allows for processes being dynamic description logic (DDL) programs [7] over environment representations in description logic ontologies.  ... 
dblp:conf/dlog/AutexierH13 fatcat:bkyo6kihb5bkfbd2snm7mgdic4

Description Logic Reasoning with Syntactic Updates [chapter]

Christian Halashek-Wiener, Bijan Parsia, Evren Sirin
2006 Lecture Notes in Computer Science  
We present an algorithm for updating completion graphs under the syntactic addition and removal of ABox assertions.  ...  Such applications often leverage Description Logic (DL) reasoning for a variety of tasks (e.g., classifying Web service descriptions, etc); however, this can introduce substantial overhead due to content  ...  Recently, there has been interest in specifying formal update semantics for descriptions logics [19, 23] .  ... 
doi:10.1007/11914853_44 fatcat:4xpkolj4n5b2xkjvgb6b5ksldy

A Dynamic Extension of ALCO for Repairing via Preferred Updates

Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis
2018 International Workshop on Description Logics  
In this paper, we adapt this idea to Description Logics: we extend TBox axioms by a set of preferred updates of atomic concepts.  ...  We resort to a dynamic logic framework in order to provide an account of active TBox-based ABox repairs.  ...  We use the language of the basic description logic ALC for TBoxes and that of its extension ALCO with nominals for ABoxes.  ... 
dblp:conf/dlog/FeuilladeHR18 fatcat:5r2nhqlterdo5ouo75u3eeefte

Knowledge Base Repair: From Active Integrity Constraints to Active TBoxes

Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis
2020 International Workshop on Description Logics  
We then discuss how these ideas can be adapted to Description Logics.  ...  We assume extensions of TBox axioms by update actions that denote the preferred ways an ABox should be repaired in case of inconsistency with the axioms of the TBox.  ...  The situation is similar for description logic knowledge bases when an ABox is updated in a way such that it becomes inconsistent with a given TBox.  ... 
dblp:conf/dlog/FeuilladeHR20 fatcat:y5my73cbcrcy5cbqzjsw4s5kqm

Putting ABox Updates into Action [chapter]

Conrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke, Michael Thielscher
2009 Lecture Notes in Computer Science  
First, updates generate so-called Boolean ABoxes, which cannot be handled by traditional Description Logic reasoners.  ...  When trying to apply recently developed approaches for updating Description Logic ABoxes in the context of an action programming language, one encounters two problems.  ...  To overcome this problem, recent papers [3, 4] have proposed to employ a decidable Description Logic (DL) [5] in place of full firstorder predicate logic.  ... 
doi:10.1007/978-3-642-04222-5_13 fatcat:fzjncmj3wvakvip2hxix76hvxe

Islands and Query Answering for Alchi-ontologies [chapter]

Sebastian Wandelt, Ralf Möller
2011 Communications in Computer and Information Science  
We propose a way to preserve the partitions while updating an ontology and thus enable stream like reasoning for description logic ontologies.  ...  Furthermore, we explain how islands can be used to answer grounded conjunctive queries for description logic ontologies.  ...  Existing tableau-based description logic reasoning systems, e.g.  ... 
doi:10.1007/978-3-642-19032-2_17 fatcat:jao4iihxebgpfluhjxermyom2m

On the Closure of Description Logics under Substitutions

Jon Haël Brenas, Rachid Echahed, Martin Strecker
2016 International Workshop on Description Logics  
We investigate the extension of Description Logics (DL) with a notion of "substitution".  ...  The resulting classification is a gauge of the expressiveness of description logics and their adequacy for reasoning about change of graph structures.  ...  In [12] , the authors study the effects of elementary updates on sets of ABox formulae.  ... 
dblp:conf/dlog/BrenasES16 fatcat:bik5tsmob5eppcmv336nkhlfoe

Dynamic Description Logic: Embracing Actions into Description Logic

Liang Chang, Zhongzhi Shi, Lirong Qiu, Fen Lin
2007 International Workshop on Description Logics  
We present a dynamic description logic D-ALCO@ for representing knowledge about dynamic application domains.  ...  D-ALCO@ is a combination of a typical action theory and the description logic ALCO@, in such a way that actions are treated as citizens of the logic.  ...  In [9] , Wolter proposed a dynamic description logic named PDLC, by combining the description logic ALC with propositional dynamic logic PDL.  ... 
dblp:conf/dlog/ChangSQL07 fatcat:slgfval4snckbgty6cbm5nr3z4

Toward Updates in Description Logics

Mathieu Roger, Ana Simonet, Michel Simonet
2002 International Workshop on Description Logics  
DL systems provide fact additions and retractions but no real object update mechanisms.  ...  After relating our work to an existing previous one on update semantics we address implementation issues.  ...  This work is a first step toward a finer integration between description logics and databases.  ... 
dblp:conf/dlog/RogerSS02 fatcat:gkhzqq44ffeh5a4zmdij2ziy7u

LAS: Extending Racer by a Large ABox Store

CuiMing Chen, Volker Haarslev, JiaoYue Wang
2005 International Workshop on Description Logics  
Recently, several approaches have been proposed on combining description logic (DL) reasoning with database techniques.  ...  LAS stores for given knowledge bases their taxonomy and their complete Abox in its database. The Aboxes may contain role assertions.  ...  Introduction Description Logics (DLs) historically evolved from a combination of frame based systems and predicate logic.  ... 
dblp:conf/dlog/ChenHW05 fatcat:hecywfmxfrgpxov66r44gs2ap4

Towards closed world reasoning in dynamic open worlds

2010 Theory and Practice of Logic Programming  
Then we extend the existing work on ABox updates with rules, provide a semantics for such evolving hybrid knowledge bases and study its basic properties.To the best of our knowledge, this is the first  ...  We focus on knowledge updates and, considering the state of the art of belief update, ontology update and rule update, we show that current solutions are only partial and difficult to combine.  ...  Introduction In this paper we address updates of hybrid knowledge bases composed of a Description Logic ontology and Logic Programming rules.  ... 
doi:10.1017/s147106841000027x fatcat:bdgfmyvw6rcvvgswcauujpu67a
« Previous Showing results 1 — 15 out of 1,553 results