Implemented Components

From ONTORULE Show Case

Jump to: navigation, search

This page summarises the implemented components of ONTORULE. The implemented components are part of the abstract platform demonstrating the feasibility of the theoretical approach.

Component Description
FUB ORM2OWL Translator/Reasoner An ORM2 to OWL2 translator tool allows to translate a given ORM2 knowledge base expressed in ORM2 formal syntax into OWL2 knowledge base. Additionally it provides a consistency check of the given schema and allows to check the validity of a ORM2 statement with respect to the given ORM2 knowledge base.
OntoStudio Graphical Rule Editor The graphical rule editor of OntoStudio uses the UML paradigm for modelling rules. The intention was to use a paradigm many users are familiar with. In the following we describe the functionality of the rule editor. Further information can be found in the OntoStudio user manual.
OntoStudio HTML/RDFa support The component imports RDF annotations from an HTML file. It preserves the dependency to the HTML file and shows the annotations within the HTML file. Having the ontology used for annotation one can link the RDFa import and the annotations and navigate between the two structures.
OntoStudio Rule Search The extension of OntoStudio allows searching for rules; (ObjectLogic) constraints and (ObjectLogic) queries within OntoStudio.

One defines the ontology terms that should occure within the rules to be searched for. The result will be a list of rules; constraints and queries that contain the terms.

With this functionality it is easy to find rules that depend on certain ontology elements.
OntoStudio Validation The component uses a set of ontologies and rules in order to identify anomalies within the ontology and rule combination. The component explains the anomalies found. Some of the anomalies might not be an issue and can be ignored. However; others might hint on a bad modelling paradigm.
Ontoprise OWLRL in ObjectLogic Inferencing component on top of OntoBroker(ObjectLogic) implementing the OWL RL profile.
Ontoprise SKOS Vocabulary Management Based on the vocabulary management SemanticXpress of ontoprise a SKOS vocabulary management has been realised. It allows importing and maintaining SKOS vocabularies.
Paris13 SemEx Paris13 SemEx is a rule editor. It implements three abstract components of the ONTORULE platform: Candidate rule extraction from NL; Text annotation and Text querying. SemEx is part of the ONTORULE foreground and has been developed by Paris13. It is available for download from the D1.4 deliverable.
Paris13 Terminae Terminae is a text-based interactive ontology acquisition tool based on the Eclipse platform. It implements two abstract components of the ONTORULE platform Ontology extraction from NL and Text annotation. It has been delivered in D1.1
Parrot Parrot is an OWL and RIF documentation service
TUWIEN DReW DReW is:
  • A prototype DL reasoner over LDL+ ontologies: taking as input a conjunctive query and an ontology in OWL 2 syntax extended for the complex role expressions of LDL+
    DReW checks whether the ontology is in the LDL+ fragment. If it is
    it is translated according to the format suitable for the specified Datalog reasoner (DLV in our case).
  • A prototype reasoner for dl-programs over LDL+ ontologies under well-founded semantics.
TUWIEN KAOS KAOS is the first reasoner supporting Conjunctive Queries (CQs) over the expressive Horn-SHIQ ontologies. It has been developed in cooperation with the Austrian funded FWF Project "Reasoning in Hybrid Knowledge Bases" P20840.
TUWIEN MOR MOR (MergeOntologyRule) is a prototype reasoner for evaluating stratified dl-programs over DL-Lite ontologies under the well-founded semantics using a Relational Database Management System (RDBMS).
Retrieved from "http://ontorule-project.eu/showcase/Implemented_Components"
Personal tools
sitemap