AKSW - projects/DLLearner/ORE

2010-07-21 10:06:19

Comparison for /projects / DL Learner / ORE of 2010-07-21 10:06:19 and 2010-07-27 15:59:07

Additions:

The following screencasts shows how to use the tool:
Basic Screencast (0.1)
Inconsistencies in SPARQL Endpoints (ORE 0.2)

Deletions:

The following screen cast shows how to use the tool: View Screencast

2010-03-16 00:20:03

Comparison for /projects / DL Learner / ORE of 2010-03-16 00:20:03 and 2010-07-21 10:06:19

Additions:

detection of inconsistencies and unsatisfiable classes
efficient computation of problematic axioms (justifications)
fine-grained justifications, e.g. only showing the relevant parts of the axioms to support a minimal semantic repair
displaying impact of selected repair actions
enrichment of an ontology by learning definitions and super class axioms using machine learning
guides the user through potential consequences of adding those axioms
supports debugging as well as enriching very large knowledge bases available as SPARQL endpoints
Version 0.2:
- enhanced support for inconsistency detection in large knowledge bases available as SPARQL endpoints
- based on OWL API 3 and Pellet 2

Deletions:

* extract a fragment from a SPARQL endpoint as additional knowledgesource format
* detection of inconsistencies and unsatisfiable classes
* efficient computation of problematic axioms (justifications)
* fine-grained justifications, e.g. only showing the relevant parts of the axioms to support a minimal semantic repair
* displaying impact of selected repair actions
* enrichment of an ontology by learning definitions and super class axioms using machine learning
* guides the user through potential consequences of adding those axioms

2010-03-15 15:25:32

Comparison for /projects / DL Learner / ORE of 2010-03-15 15:25:32 and 2010-03-16 00:20:03

Additions:

Tool download: https://sourceforge.net/projects/dl-learner/files/ORE/
The following screen cast shows how to use the tool: View Screencast

Deletions:

Tool download:
The following screen cast shows how to use the tool:
View Screencast

2010-03-14 11:12:35

Comparison for /projects / DL Learner / ORE of 2010-03-14 11:12:35 and 2010-03-15 15:25:32

Additions:

Overview

The ORE (Ontology Repair and Enrichment) tool allows for knowledge engineers to improve an OWL ontology by fixing inconsistencies and making suggestions for adding further axioms to it.
Ontology Debugging: ORE uses OWL reasoning to detect inconsistencies and satisfiable classes. State-of-the-art methods are then used to detect the most likely sources for the problems. In a simple process, the user can create a repair plan to resolve a problem, while maintaining full control over desired and undesired inferences.
Ontology Enrichment: ORE uses the DL-Learner framework to suggest definitions and super classes for existing classes in the knowledge base. This works if instance data is available and can be used to detect potential problems and harmonise schema and data in the knowledge base.
Future Work: In future versions, we also aim to support the detection of more modelling problems including non-logical errors. We will also extend support for knowledge bases available as SPARQL endpoints (in contrast to OWL files) and Linked Data.
Tool download:

Features

* detection of inconsistencies and unsatisfiable classes
* efficient computation of problematic axioms (justifications)
* fine-grained justifications, e.g. only showing the relevant parts of the axioms to support a minimal semantic repair
* enrichment of an ontology by learning definitions and super class axioms using machine learning
* guides the user through potential consequences of adding those axioms

ChangeLog

Deletions:

Ontology Repair and Enrichment

Features

* detection of inconsistencies
* displaying explanations for those inconsistencies
* fine-grained explanations, e.g. only showing the relevant parts of the axioms to support a minimal semantic repair
* enrichment of an ontology by learning definitions and super class axioms
* guiding the user through potential consequences of adding those axioms

ChangeLog

2010-03-14 11:07:41

Comparison for /projects / DL Learner / ORE of 2010-03-14 11:07:41 and 2010-03-14 11:12:35

Additions:

View Screencast

Deletions:

View Screencast

2010-03-13 17:26:53

Comparison for /projects / DL Learner / ORE of 2010-03-13 17:26:53 and 2010-03-14 11:07:41

Additions:

View Screencast

Deletions:

TODO

2009-09-26 19:50:21

Comparison for /projects / DL Learner / ORE of 2009-09-26 19:50:21 and 2010-03-13 17:26:53

Additions:

* extract a fragment from a SPARQL endpoint as additional knowledgesource format

Deletions:

* SPARQL TODO

2009-09-22 15:53:28

Comparison for /projects / DL Learner / ORE of 2009-09-22 15:53:28 and 2009-09-26 19:50:21

Additions:

Ontology Repair and Enrichment

The ORE-Tool supports the user to check and improve the quality of ontologies. Therefore it allows to detect semantic defects, e.g. inconsistencies in the ontology are detected and can be explained by showing the relevant axioms. TODO
You can download the tool...TODO
The following screen cast shows how to use the tool:
TODO
The tool was created by Jens Lehmann and Lorenz B�hmann. If you have any questions or comments, please contact me.

Features

* SPARQL TODO
* detection of inconsistencies
* displaying explanations for those inconsistencies
* fine-grained explanations, e.g. only showing the relevant parts of the axioms to support a minimal semantic repair
* displaying impact of selected repair actions
* enrichment of an ontology by learning definitions and super class axioms
* guiding the user through potential consequences of adding those axioms

ChangeLog

Version 0.1: initial release

Deletions:

TODO Lorenz: add description, screencast