Conference
Principles of Knowledge Representation and Reasoning
About: Principles of Knowledge Representation and Reasoning is an academic conference. The conference publishes majorly in the area(s): Description logic & Knowledge representation and reasoning. Over the lifetime, 1227 publications have been published by the conference receiving 52952 citations.
Topics: Description logic, Knowledge representation and reasoning, Non-monotonic logic, Belief revision, Semantics (computer science)
Papers published on a yearly basis
Papers
More filters
•
01 Oct 1997
TL;DR: A formalization of intentions based on a branching-time possible-worlds model is presented and it is shown how the formalism realizes many of the important elements of Bratman's theory of intention.
2,319 citations
•
01 Jan 1992
TL;DR: An interval logic for reasoning about space is described, which supports a simpler ontology, has fewer functions and relations, yet does not su er in terms of its useful expressiveness.
Abstract: We describe an interval logic for reasoning about space. The logic simpli es an earlier theory developed by Randell and Cohn, and that of Clarke upon which the former was based. The theory supports a simpler ontology, has fewer de ned functions and relations, yet does not su er in terms of its useful expressiveness. An axiomatisation of the new theory and a comparison with the two original theories is given.
2,210 citations
••
22 Apr 1991
1,009 citations
•
02 Jun 2006TL;DR: A rather elegant tableau-based reasoning algorithm that combines the use of automata to keep track of universal value restrictions with the techniques developed for SHOIQ, which has been adopted as the logical basis for the next iteration of OWL, OWL 1.1.
Abstract: We describe an extension of the description logic underlying OWL-DL, SHOIN, with a number of expressive means that we believe will make it more useful in practice. Roughly speaking, we extend SHOIN with all expressive means that were suggested to us by ontology developers as useful additions to OWL-DL, and which, additionally, do not affect its decidability and practicability. We consider complex role inclusion axioms of the form R o S ⊑ R or S o R ⊑ R to express propagation of one property along another one, which have proven useful in medical terminologies. Furthermore, we extend SHOIN with reflexive, antisymmetric, and irreflexive roles, disjoint roles, a universal role, and constructs ∃R. Self, allowing, for instance, the definition of concepts such as a "narcist". Finally, we consider negated role assertions in Aboxes and qualified number restrictions. The resulting logic is called SROIQ. We present a rather elegant tableau-based reasoning algorithm: it combines the use of automata to keep track of universal value restrictions with the techniques developed for SHOIQ. The logic SROIQ has been adopted as the logical basis for the next iteration of OWL, OWL 1.1.
995 citations
•
01 Jan 2002TL;DR: It is argued that an augmented version of the logic programming language Golog provides a natural formalism for automatically composing services on the Semantic Web and logical criteria for these generic procedures that define when they are knowledge self-sufficient and physically selfsufficient are proposed.
Abstract: Motivated by the problem of automatically composing network accessible services, such as those on the World Wide Web, this paper proposes an approach to building agent technology based on the notion of generic procedures and customizing user constraint. We argue that an augmented version of the logic programming language Golog provides a natural formalism for automatically composing services on the Semantic Web. To this end, we adapt and extend the Golog language to enable programs that are generic, customizable and usable in the context of the Web. Further, we propose logical criteria for these generic procedures that define when they are knowledge self-sufficient and physically selfsufficient. To support information gathering combined with search, we propose a middle-ground Golog interpreter that operates under an assumption of reasonable persistence of certain information. These contributions are realized in our augmentation of a ConGolog interpreter that combines online execution of information-providing Web services with offline simulation of worldaltering Web services, to determine a sequence of Web Services for subsequent execution. Our implemented system is currently interacting with services on the Web.
939 citations