426 Hits in 3.2 sec

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  
When trying to apply recently developed approaches for updating Description Logic ABoxes in the context of an action programming language, one encounters two problems.  ...  First, updates generate so-called Boolean ABoxes, which cannot be handled by traditional Description Logic reasoners.  ...  When an action is performed, it updates this description to take into account the effects of this action.  ... 
doi:10.1007/978-3-642-04222-5_13 fatcat:fzjncmj3wvakvip2hxix76hvxe

Inconsistency Management in Generalized Knowledge and Action Bases

Diego Calvanese, Marco Montali, Ario Santoso
2015 International Workshop on Description Logics  
update the KB through an atomic action.  ...  updates the ABox using the bold semantics of KB evolution [13] .  ... 
dblp:conf/dlog/CalvaneseMS15 fatcat:njcfk4owirdt5onre6aqew6uhm

A logical framework for modeling and reasoning about semantic web services contract

Hai Liu, Qing Li, Naijie Gu, An Liu
2008 Proceeding of the 17th international conference on World Wide Web - WWW '08  
In this paper, we incorporate concrete domain and action theory into a very expressive Description Logic (DL), called ALCQO.  ...  The formal semantics of our SC is defined as follows: In our framework, we consider state transition as ABox updates, i.e. if a SC enforces an action successfully, it is regarded as updating the ABox from  ...  The interplay among them is thus obvious and natural, since TBoxes coordinate the action set, and ABoxes can be updated through the execution of an action.  ... 
doi:10.1145/1367497.1367654 dblp:conf/www/LiuLGL08 fatcat:tuuxiclcdbhypd7ldjbsrmsv4a

Foundations of instance level updates in expressive description logics

Hongkai Liu, Carsten Lutz, Maja Miličić, Frank Wolter
2011 Artificial Intelligence  
Then, DLs only need to include nominals for updated ABoxes to exist, and the size of updated ABoxes is polynomial in the size of both the original ABox and the update.  ...  ABox was formulated and, if so, what is the size of the updated ABox?  ...  As an application, we put conditional updates to work for reasoning about action, using the progression approach to reprove the optimal upper complexity bounds for the projection problem of DL actions  ... 
doi:10.1016/j.artint.2011.08.003 fatcat:sy5o53mrjncsvpujo3jbzuhhla

The Projection Problem for EL Actions

Hongkai Liu, Carsten Lutz, Maja Milicic
2008 International Workshop on Description Logics  
We construct an ABox A ϕ , an update α, and a goal ψ such that ϕ is satisfiable iff A α |= ψ.  ...  Projection in EL with acyclic TBoxes is PSpace-complete, even if only updates are allowed as actions.  ... 
dblp:conf/dlog/LiuLM08 fatcat:575to5v6dnbffjxefdvskz3mxa

Dynamic Description Logic Based on DL-Lite [chapter]

Na Zhang, Liang Chang, Zhoubo Xu, Tianlong Gu
2014 IFIP Advances in Information and Communication Technology  
[4] put forward a dynamic description logic DDL based on a combination of description logic ALC, dynamic logic and action theory.  ...  And we adopt model-based semantics a ⊆  [8] of ABox update to define the semantics of atomic action definitions. Then a tableau decision algorithm which supports GCIs for pr R DDL-Lite is given.  ... 
doi:10.1007/978-3-662-44980-6_19 fatcat:t4teguiwuzdbvkuqfdeefl36w4

Multi-agent Cooperation: A Description Logic View [chapter]

Jiewen Luo, Zhongzhi Shi, Maoguang Wang, He Huang
2009 Lecture Notes in Computer Science  
On the dynamic side, we adopt the object-oriented method to describe actions. The description of each action is composed of models, preconditions and effects.  ...  By combining the features of knowledge representation and reasoning of description logic and action theory for multi-agent interaction, our logic is effective and significant both for static and dynamic  ...  Thus we divide the action description into two forms: general action description and concrete action description.  ... 
doi:10.1007/978-3-642-03339-1_29 fatcat:ffgzrvva6vanph6umdoavkzmj4

Specification and Verification of Commitment-Regulated Data-Aware Multiagent Systems

Marco Montali, Diego Calvanese, Giuseppe De Giacomo
2014 Italian Conference on Computational Logic  
Such base-level instance is put into the active state.  ...  internal (re)actions, which lead to update the agent ABox when sending/receiving an event to/from another agent (update rule).  ... 
dblp:conf/cilc/MontaliCG14 fatcat:enrcxh2hefehdg26qtnkcunvty

Backwards State-space Reduction for Planning in Dynamic Knowledge Bases

Valerio Senni, Michele Stawowy
2014 Electronic Proceedings in Theoretical Computer Science  
, and actions that allow to change the content of the ABox.  ...  Reduction technique that consists in two phases: first, an Abstract Planning Graph P is created by using the Abstract Backward Planning Algorithm (ABP), then the abstract planning graph P is instantiated into  ...  remaining states) P := P ∪ PrevA(σ ′ , Γ) (update plan) end end end ABox, the set of applicable actions depends on that ABox, and the simple join axioms do not compare explicitly in the algorithm as they  ... 
doi:10.4204/eptcs.159.8 fatcat:ojwsbc4hunhxtj7uf7nvnbc2fu

Description Logic Knowledge and Action Bases

B. Bagheri Hariri, D. Calvanese, M. Montali, G. De Giacomo, R. De Masellis, P. Felli
2013 The Journal of Artificial Intelligence Research  
Actions are specified as sets of conditional effects, where conditions are based on epistemic queries over the knowledge base (TBox and ABox), and effects are expressed in terms of new ABoxes.  ...  base and actions to change such information over time, possibly introducing new objects.  ...  Description Logics Update Observe that effects of an action in our setting can be seen as a basic form of update of the previous state (Katsuno & Mendelzon, 1991) .  ... 
doi:10.1613/jair.3826 fatcat:kzdox73qu5dt7kilqvj5z3ete4

Verification of Data-aware Business Processes in the Presence of Ontologies [article]

Ario Santoso
2016 arXiv   pre-print
To ensure system correctness, formal verification also comes into play and offers well-established techniques.  ...  GKABs enable us to specify semantically-rich DABP, where the system dynamics are specified using a high-level action language inspired by the Golog programming language. (2) We propose a parametric execution  ...  updating the ABox.  ... 
arXiv:1612.05456v1 fatcat:uortbh7cp5c3tooj7pgencgrqq

On the Closure of Description Logics under Substitutions

Jon Haël Brenas, Rachid Echahed, Martin Strecker
2016 International Workshop on Description Logics  
The need for ways to make knowledge evolve has lead to an increasingly rich field of knowledge update and action [20, 11] .  ...  Substitutions are classic and central elements of Hoare Logic and the most intuitive way in such a framework to translate into logic the effect of an action.  ...  The same can be said for the satisfiability of ABox and T Box assertions. Definition 11 (Bisimulation).  ... 
dblp:conf/dlog/BrenasES16 fatcat:bik5tsmob5eppcmv336nkhlfoe

Combining Event Calculus and Description Logic Reasoning via Logic Programming [chapter]

Peter Baumgartner
2021 Lecture Notes in Computer Science  
This way, time-stamped ABoxes can be manipulated as fluents in the event calculus. All that is done in the frame of Fusemate's concept of stratification by time.  ...  All head predicates of the same rule are put into the same stratum. Fusemate employs a weaker stratification by time and by predicates (SBTP) [12] .  ...  For DLs, there are algorithms for instance level updates of an ABox, where, in firstorder logic terms, the ABox is a set of ground atoms over known individuals, see [19] .  ... 
doi:10.1007/978-3-030-86205-3_6 fatcat:wqqovl6xkjhkjfslt34hqcyt2m

Verification of Generalized Inconsistency-Aware Knowledge and Action Bases (Extended Version) [article]

Diego Calvanese, Marco Montali, Ario Santoso
2015 arXiv   pre-print
Knowledge and Action Bases (KABs) have been put forward as a semantically rich representation of a domain, using a DL KB to account for its static aspects, and actions to evolve its extensional part over  ...  On the one hand, we enrich KABs with a high-level, compact action language inspired by Golog, obtaining so called Golog-KABs (GKABs).  ...  ) TELL, to update the KB through an atomic action.  ... 
arXiv:1504.08108v2 fatcat:cn44vyecfjdkxnv66krr7xipeq

A Temporal Description Logic Based Access Control Model for Expressing History Constrained Policies in Semantic Web

Fathieh Faghih, Morteza Amini, Rasool Jalili
2009 2009 IEEE International Symposium on Policies for Distributed Systems and Networks  
The access control procedure(s) should also take the semantic relationships between the entities (specified as ontologies) into account.  ...  Several efforts have been put into designing access control models for semantic-aware environments such as Semantic Web [1] , [14] .  ...  The types of objects, and actions are already included in the ABox.  ... 
doi:10.1109/policy.2009.15 dblp:conf/policy/FaghihAJ09 fatcat:u5uvvfe6kfg4dfidhmfxb5yssi
« Previous Showing results 1 — 15 out of 426 results