Abstract:This paper tackles the problem of computing views of OWL ontologies using a forgetting-based approach. In traditional relational databases, a view is a subset of a database, whereas in ontologies, a view is more than a subset; it contains not only axioms contained in the original ontology, but may also contain newly-derived axioms entailed by the original ontology (implicitly contained in the original ontology). Specifically, given an ontology , the signature of is the set of all the names in , and a view of is a new ontology obtained from using only part of ’s signature, namely the target signature, while preserving all logical entailments up to the target signature. Computing views of OWL ontologies is useful for Semantic Web applications such as ontology-based query answering, in a way that the view can be used as a substitute of the original ontology to answer queries formulated with the target signature, and information hiding, in the sense that it restricts users from viewing certain information of an ontology. Forgetting is a form of non-standard reasoning concerned with eliminating from an ontology a subset of its signature, namely the forgetting signature, in such a way that all logical entailments are preserved up to the target signature. Forgetting can thus be used as a means for computing views of OWL ontologies — the solution of forgetting a set of names from an ontology is the view of for the target signature . In this paper, we present a forgetting-based method for computing views of OWL ontologies specified in the description logic , the basic extended with role hierarchy, nominals and inverse roles. The method is terminating and sound. Despite the method not being complete, an evaluation with a prototype implementation of the method on a corpus of real-world ontologies has shown very good success rates. This is very useful from the perspective of the Semantic Web, as it provides knowledge engineers with a powerful tool for creating views of OWL ontologies.

Efficient Computation of Signature-Restricted Views for Semantic Web Ontologies

Highly-Optimized Forgetting for Creating Signature-Based Views of Ontologies

What a Surprise! Computing Rewritten Modules Can Be As Efficient As Computing Subset Modules

Creating Signature-Based Views for Description Logic Ontologies with Transitivity and Qualified Number Restrictions

Computing Views of OWL Ontologies for the Semantic Web

Integrating Relational Databases with Semantic Web Ontologies : Reasoning and Query Answering using Views

Tracking Semantic Evolutionary Changes in Large-Scale Ontological Knowledge Bases

A Semantic Mapping System for Bridging the Gap between Relational Database and Semantic Web

Tracking Logical Difference in Large-Scale Ontologies: A Forgetting-Based Approach

Rewriting Queries Using View for RDF/RDFS-Based Relational Data Integration

Metadata-based Term Selection for Modularization and Uniform Interpolation of OWL Ontologies.

An Effective Semantic Cache for Exploiting XPath Query/View Answerability

Algorithms for Paraconsistent Reasoning with OWL

Effective computation of immersion obstructions for unions of graph classes

Paraconsistent Reasoning with OWL - Algorithms and the ParOWL Reasoner ?

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

Query Rewriting and Optimization for Ontological Databases

SCEND: an efficient semantic cache to adequately explore answerability of views

Interpreting Distributed Ontologies

Answering Queries using Views over Probabilistic XML: Complexity and Tractability

Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice