Upper ontology

About: Upper ontology is a research topic. Over the lifetime, 9767 publications have been published within this topic receiving 220721 citations. The topic is also known as: top-level ontology & foundation ontology.

Text-based domain ontology building using tf-idf and metric clusters techniques

Abstract: The paper describes the methodology used to develop a construction domain ontology, taking into account the wealth of existing semantic resources in the sector ranging from dictionaries to thesauri. Given the characteristics and settings of the construction industry, a modular, architecture-centric approach was adopted to structure and develop the ontology. The paper argues that taxonomies provide an ideal backbone for any ontology project. Therefore, a construction industry standard taxonomy was used to provide the seeds of the ontology, enriched and expanded with additional concepts extracted from large discipline-oriented document bases using information retrieval (IR) techniques.

Countering Service Information Challenges in the Internet of Services

Abstract: Business Webs apply the idea of value networks to the WWW. The underlying delivery platform is commonly referred to as the Internet of Services and will certainly have to deal with a great variety and amount of information about services along several service information dimensions. As soon as brokerage, discovery, or community feedback parts are decentralized, there emerge a number of service information challenges (modeling the information in a holistic way, documentation, interlinkage, tool interoperability, distributed querying, inconsistent information, and cooperation of different stakeholders). In this paper, we propose to counter such service information challenges by two artifacts. First, we contribute a Service Ontology based on a sound and rigid foundational ontology. The Service Ontology provides a holistic and consistent way of capturing service information. We apply the recommendations of the W3C Semantic Web Activity whose recent standardization has already opened new possibilities for tool interoperability, interlinkage of information, and distributed querying on the web. However, building and prescribing an ontology in standardized languages is not enough to address all service information challenges. Therefore, as a second contribution, we provide a method around the ontology including a governance framework, guidelines for applying the W3C Semantic Web recommendations, a lifecycle-spanning tool chain, and different levels of applicability. We label our method Semantic Business Web approach, since we build on W3C Semantic Web standards, use and extend them in the Business Web setting. Both artifacts are constructed in an interdisciplinary way by experts participating in the German lighthouse project THESEUS/TEXO. The project’s scenario also serves as a proof of concept evaluation of the artifacts.

Evaluating Ontologies with Competency Questions

Abstract: Competency Questions(CQs) play an important role in the ontology development lifecycle, as they represent the ontology requirements. Although the main methodologies describe and use CQs, the current practice of ontology engineering makes a superficial use of CQs. One of the main problems that hamper their proper use lies on the lack of tools that assist users to check if CQs are being fulfilled by the ontology being defined, particularly when these ontologies are defined in OWL (Ontology Web Language), under the Description Logic formalism. We propose a mechanism to support evaluating whether the ontology follows their correspondent CQs.

Justification oriented proofs in OWL

Abstract: Justifications -- that is, minimal entailing subsets of an ontology -- are currently the dominant form of explanation provided by ontology engineering environments, especially those focused on the Web Ontology Language (OWL). Despite this, there are naturally occurring justifications that can be very difficult to understand. In essence, justifications are merely the premises of a proof and, as such, do not articulate the (often non-obvious) reasoning which connect those premises with the conclusion. This paper presents justification oriented proofs as a potential solution to this problem.