Learn More
Some of the applications of OWL and RDF (e.g. biomedical knowledge representation and semantic policy formulation) call for extensions of these languages with nonmonotonic constructs such as inheritance with overriding. Nonmonotonic description logics have been studied for many years, however no practical such knowledge representation languages exist, due(More)
We analyze the complexity of reasoning with circumscribed low-complexity DLs such as DL-lite and the EL family, under suitable restrictions on the use of abnormality predicates. We prove that in circumscribed DL-liteR complexity drops from NExp to the second level of the polynomial hierarchy. In EL, reasoning remains ExpTime-hard, in general. However, by(More)
We present a logic for reasoning both about the ability of agents to cooperate to execute complex actions, and how this relates to their ability to reach certain states of affairs. We show how the logic can be obtained in a modularised way, by combining a model for reasoning about actions and their effects with a model that describes what actions an agent(More)
In this paper, we leverage annotated logic programs for tracking indicators of provenance and trust during reasoning, specifically focussing on the use-case of applying a scalable subset of OWL 2 RL/RDF rules over static corpora of arbitrary Linked Data (Web data). Our annotations encode three facets of information: (i) blacklist: a (possibly manually(More)
We develop a logical framework to model how agents can cooperate in order to ensure a certain state of affairs. We extend previous work on this issue by adding an explicit planning language to the object language. The resulting logical system combines reasoning about agents and groups of agents, their plans, and the effect of those plans, and becomes quite(More)
  • Luigi Sauro
  • Computational & Mathematical Organization Theory
  • 2006
This work studies how goal-directed agents can form profitable coalitions. A coalition is formed when some agents agree to cooperate for the achievement of a shared goal or to exchange with each other the achievement of their own goals. Assuming that coalition formation processes are supported by unanimous and enforced agreements, we define two qualitative(More)
In recent years, huge effort has been devoted to the definition of modal logics for strategic reasoning in the setting of multi-agent games. In this area, a recent contribution is the introduction of Strategy Logic (SL, for short) by Mogavero, Murano, and Vardi. This logic allows to reason explicitly about strategies as first order objects. It strictly(More)