Abstract:As the core building blocks of the Semantic Web, ontologies provide shared vocabularies and conceptual knowledge for specific application fields. At the same time, ontologies can restrict their individuals and relationships through their semantic schema. However, logical conflicts of an ontology are often inevitably unavoidable in actual application scenarios when the ontology contains any form of disjointness or negation. Generally, logical conflicts can be divided into incoherence and inconsistency. Reasoning with incoherent ontologies may obtain many redundant relationships, and incoherence is a potential cause of inconsistency which seriously affects the correctness of semantic reasoning Therefore, handling incoherence is imperative, which mainly involves the fields of conflicts detection, ontology repair and justification computation. Various incoherent ontologies are indispensable to evaluate the proposed methods for handling incoherence. We provide a survey of relevant research works to study the proposed construction methods of incoherent ontologies. It is observed that incoherent ontologies in existing works still have the following limitations: (1) Lots of web pages used to download ontologies were temporarily constructed are now inaccessible; (2) Most of the existing incoherent ontologies were constructed in a simple way such as randomly adding disjointness axioms or merging ontologies through their alignments without considering all possible incoherence cases. To address the limitations, we propose a general framework to construct incoherent ontologies and design a hybrid algorithm to instantiate this framework. With the implemented construction methods, a comprehensive benchmark containing 116 ontologies is constructed. In our evaluations, incoherent ontologies in the benchmark are measured with 11 classic metrics. We then compare 5 representative ontology debugging systems and 3 repair methods. The evaluation results reveal that these ontologies could reflect different characteristics of each ontology system and repair method. All observations could guide researchers to select incoherent ontologies. The availability of our benchmark makes a contribution to the community of ontology debugging and repair fields.

Semantic Consistency in Collaborative Business Processes

Using semantic technology to enhance ESB capabilities

Research on Semantic Interoperability for Business Collaboration.

Dynamic semantic consistency checking of multiple collaborative ontologies in knowledge management system

Semantic SOA Framework Orient to Aviation Repair

Key Technology of Ontology-Based Heterogeneous System Interoperation Facing to Business Collaboration

Process collaboration based on automatic extraction of local ontology

The Semantic Consistency In Cooperative Design Editing

An Ontology---Based Semantic Cooperation Framework for Business Processes

An Embedding-based Approach to Inconsistency-tolerant Reasoning with Inconsistent Ontologies

Research on Annotating and Matching for Semantic Entities Based on Ambient Semantic Interoperable Service

Benchmark Construction and Experimental Evaluations for Incoherent Ontologies

Domain ontology integration based on category theory for collaborative simulations of complex products

Detection Algorithm of Semantic Inconsistency for Fuzzy Ontology Merging

An Argumentation Framework for Description Logic Ontology Reasoning and Management

Ontology-Based inconsistency management of software requirements specifications

A New Implementation for Ontology Mapping Based Enterprise Semantic Interoperation

Semantic-based knowledge and content systems ” D 1 . 2 . 2 Consistency Models for Networked Ontologies — Evaluation

Semantic consistency maintenance in collaborative graphics design systems

A Graph-Based Approach for Resolving Incoherent Ontology Mappings

Description Languages for Consistency Management Scenarios Based on Examples from the Industry Automation Domain