OWL2Jess: A Transformational Implementation of the OWL Semantics
نویسندگان
چکیده
The wide scale usage of OWL for the formalization of real-world ontologies is currently influenced by important limitations which concern both its expressivity and the efficiency of OWL specific reasoning tools. While the expressivity limitations may be overcame by extending the OWL language (e.g. with rules), the reasoning with such heterogeneous knowledge bases is still an open issue. In this paper we propose OWL2Jess, a prototypical tool which enables the transformation of OWL ontologies to Jess rule bases and thus enables OWL models to be extended by means of rules. Facts are derived from an initial OWL file by one XSLT stylesheet, while the RDF(S) and OWL Semantics are pre-defined as Jess rules. By making hidden knowledge explicit, OWL2Jess achieves the knowledge compilation: the implicit subsumption and membership relations can be subsequently identified using the Jess rule engine.
منابع مشابه
Declarative Semantics in Object-Oriented Software Development - A Taxonomy and Survey
One of the modern paradigms to develop an application is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles in applications. In an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. For the procedural semantics, we can write a ...
متن کاملOWL-AA: Enriching OWL with Instance Recognition Semantics for Automated Semantic Annotation
Although OWL provides a solid basis for many semantic web applications, it lacks sufficient declarative semantics for instance recognition to support automated semantic annotation. This omission prevents OWL from being a satisfactory ontology language for automated semantic annotation. This problem can be solved by adding declarative instance recognition semantics to OWL. Our declarative instan...
متن کاملRevisiting Semantics for Epistemic Extensions of Description Logics
Epistemic extensions of description logics (DLs) have been introduced several years ago in order to enhance expressivity and querying capabilities of these logics by knowledge base introspection. We argue that unintended effects occur when imposing the traditionally employed semantics on the very expressive DLs that underly the OWL 1 and OWL 2 standards. Consequently, we suggest a revised seman...
متن کاملExperiences with OWL-S, Directions for Service Composition: The Cashew Position
Having used OWL-S for some time, both in the form of the ‘Virtual Machine’ [12] and our own experimental implementation [7], the Cashew project has drawn a number of conclusions about its existing process model which we assert as follow: 1. OWL-S is not service composition; 2. OWL-S defines orchestration but not choreography; 3. OWL-S is incompatible with choreography; 4. OWL-S is insufficientl...
متن کاملTowards Integrity Constraints in OWL
In many data-centric applications, it is desirable to use OWL as an expressive schema language with which one expresses constraints that must be satisfied by instance data. However, specific aspects of OWL’s standard semantics—i.e., the Open World Assumption (OWA) and the absence of Unique Name Assumption (UNA)—make it difficult to use OWL in this way. What triggers a constraint violation in cl...
متن کامل