• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

AGM Postulates in Arbitrary Logics: Initial Results and Applications. (2004)

by G Flouris, D Plexousakis, G Antoniou
Add To MetaCart

Tools

Sorted by:
Results 1 - 3 of 3

On Applying the AGM Theory to DLs and OWL

by Giorgos Flouris, Dimitris Plexousakis, Grigoris Antoniou - In 4th International Semantic Web Conference (ISWC , 2005
"... Abstract. It is generally acknowledged that any Knowledge Base (KB) should be able to adapt itself to new information received. This problem has been extensively studied in the field of belief change, the dominating approach being the AGM theory. This theory set the standard for determining the rati ..."
Abstract - Cited by 41 (10 self) - Add to MetaCart
Abstract. It is generally acknowledged that any Knowledge Base (KB) should be able to adapt itself to new information received. This problem has been extensively studied in the field of belief change, the dominating approach being the AGM theory. This theory set the standard for determining the rationality of a given belief change mechanism but was placed in a certain context which makes it inapplicable to logics used in the Semantic Web, such as Description Logics (DLs) and OWL. We believe the Semantic Web community would benefit from the application of the AGM theory to such logics. This paper is a preliminary study towards the feasibility of this application. Our approach raises interesting theoretical challenges and has an important practical impact too, given the central role that DLs and OWL play in the Semantic Web. 1
(Show Context)

Citation Context

...ibility of applying the AGM theory in the context of the Semantic Web. The idea of using the intuitions behind the AGM theory to develop a more general version was initially pursued by the authors in =-=[6]-=-, [7], where this generalization was defined and its properties were studied; the use of belief change techniques to address the problem of ontology updating has also been independently considered in ...

On RDF/S ontology evolution

by Giorgos Flouris , Dimitris Plexousakis , Grigoris Antoniou - In Post-Proceedings of the Joint ODBIS & SWDB Workshop on Semantic Web, Ontologies, Databases (SWDB-ODBIS-07
"... Abstract. One of the crucial tasks towards the realization of the Semantic Web vision is the efficient encoding of human knowledge in ontologies. Thus, the proper maintenance of these, usually large, structures and, in particular, their adaptation to new knowledge (ontology evolution) is one of the ..."
Abstract - Cited by 20 (5 self) - Add to MetaCart
Abstract. One of the crucial tasks towards the realization of the Semantic Web vision is the efficient encoding of human knowledge in ontologies. Thus, the proper maintenance of these, usually large, structures and, in particular, their adaptation to new knowledge (ontology evolution) is one of the most challenging problems in the current Semantic Web research. In this paper, we uncover a certain gap in the current research area of ontology evolution and propose a research direction based on belief revision. We present some results in this direction and argue that our approach introduces an interesting new dimension to the problem that is likely to find important applications in the future.
(Show Context)

Citation Context

...rchy between concepts, then the hierarchy information can be expressed in the form of axioms using the subconcept connective of DLs (⊑). Things become more complicated when one tries to describe the elements relevant to the ontology, because, in current DLs, there is no way to express the information that a certain element (concept, role or individual) is relevant to the ontology (i.e., it exists in the signature of the ontology). To deal with this problem, we have introduced the Existence Assertion Operator, the Closed Vocabulary Assumption (CVA) and the Open Vocabulary Assumption (OVA) [7], [8]. The existence assertion operator enhances the expressiveness of any given DL by allowing the formation of axioms that express the fact that a certain element is relevant to the conceptualization of the ontology; the formal semantics of this operator are described in detail in [8]. CVA asserts that no element is relevant to the ontology unless its relevance can be deduced by the ontology through the semantics of the existence assertion operator; CVA and the existence assertion operator can be used to express the knowledge originally in the signature structure using axioms. On the other hand, ...

Handling Ontology Change: Survey and Proposal for a Future Research Direction

by Giorgos Flouris, Dimitris Plexousakis , 2005
"... ..."
Abstract - Cited by 12 (5 self) - Add to MetaCart
Abstract not found
(Show Context)

Citation Context

... of Closed Vocabulary Assumption (CVA) and Open Vocabulary Assumption (OVA), as well as the Existence Assertion Operator (hereby denoted by %), originally proposed (under slightly different names) in =-=[33]-=-, [35]. The existence assertion operator is a modal operator that can be used to enhance the expressive power of DLs, allowing the expression of facts like the above. The symbol % is a DL connective, ...

Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University