• Corpus ID: 18317828

Neon: Lifecycle Support for Networked Ontologies Priority: Ist-2004-2.4.7 – “semantic-based Knowledge and Content Systems” D3.1.1 Context Languages -state of the Art Work Package Participants

  title={Neon: Lifecycle Support for Networked Ontologies Priority: Ist-2004-2.4.7 – “semantic-based Knowledge and Content Systems” D3.1.1 Context Languages -state of the Art Work Package Participants},
  author={Igor Mozetic},
In this deliverable we present a state-of-the-art survey for context representation languages. We organize the survey along two dimensions: (1) Usage scenarios of context information and (2) approaches for representing and reasoning with context. We compare the different formalisms based on an abstract and generic mathematical de nition. Keyword list: ontology management, networked ontologies, context 2006 c © Copyright lies with the respective authors and their institutions. Document Identi er… 

Figures from this paper


D2.5.4 Analysis of Requirements for Further Language Extensions
This deliverable surveys a number of real-world use cases encountered in the course of the KnowledgeWeb project which demonstrate limitations of the Semantic Web ontology languages RDF and OWL, and considers approaches to overcoming these limitations.
Ontology Metadata Vocabulary and Applications
A proposal for a metadata standard, so called Ontology Metadata Vocabulary (OMV) which is based on discussions in the EU IST thematic network of excellence Knowledge Web and two complementary reference implementations which show the benefit of such a standard in decentralized and centralized scenarios are presented.
Reasoning with Multi-version Ontologies: A Temporal Logic Approach
It is shown that the temporal logic approach can provide a solid semantic foundation which can support various requirements on multi-version ontology reasoning.
A Framework for Handling Inconsistency in Changing Ontologies
This paper surveys four different approaches to handling inconsistency in DL-based ontologies: consistent ontology evolution, repairing inconsistencies, reasoning in the presence of inconsistencies and multi-version reasoning.
C-OWL: Contextualizing Ontologies
This paper shows how ontologies can be contextualized, thus acquiring certain useful properties that a pure shared approach cannot provide, and develops Context OWL (C-OWL), a language whose syntax and semantics have been obtained by extending the OWLntax and semantics to allow for the representation of contextual ontologies.
Towards a standard upper ontology
The strategy used to create the current version of the SUMO is outlined, some of the challenges that were faced in constructing the ontology are discussed, and its most general concepts and the relations between them are described.
Contexts for the Semantic Web
Some of the problems with aggregating independently published data are reported and a context mechanism to handle some of these problems is proposed and presented, which is adequate to handle the aggregation tasks, yet simple from both computational and model theoretic perspectives.
Toward Multi-viewpoint Reasoning with OWL Ontologies
This paper proposes the notion of a viewpoint on an ontology in terms of a subset of the complete representation vocabulary that is relevant in a certain context where only parts of the originally encoded aspects are relevant.
A probabilistic extension to ontology language OWL
  • Zhongli Ding, Yun Peng
  • Computer Science
    37th Annual Hawaii International Conference on System Sciences, 2004. Proceedings of the
  • 2004
This work proposes to incorporate Bayesian networks (BN), a widely used graphic model for knowledge representation under uncertainty and OWL, the de facto industry standard ontology language recommended by W3C to support uncertain ontology representation and ontology reasoning and mapping.
P-SHOQ(D): A Probabilistic Extension of SHOQ(D) for Probabilistic Ontologies in the Semantic Web
This paper presents a probabilistic extension of SHOQ(D), called P-SHOQ (D), to allow for dealing with Probabilistic ontologies in the semantic web, and presents sound and complete reasoning techniques that show in particular that reasoning in P- SHOZ(D) is decidable.