New OWL tools - Revision history

imported>Denny: Reverted edits by Ihonevigefa (Talk); changed back to last version by Denny

2010-12-19T08:27:41Z

Reverted edits by Ihonevigefa (Talk); changed back to last version by Denny

imported>Ihonevigefa at 09:09, 24 November 2010

2010-11-24T09:09:02Z

imported>Denny: New page: {{pubdate|6|April|2005}} The KAON2 OWL Tools get more diverse and interesting. Besides the simple axiom and entity '''counter''' and '''dumper''', the not so simple '''dlpcon...

2007-12-27T21:34:26Z

New page: {{pubdate|6|April|2005}} The KAON2 OWL Tools get more diverse and interesting. Besides the simple axiom and entity '''counter''' and '''dumper''', the not so simple '''dlpcon...

New page

{{pubdate|6|April|2005}}
The [[owl tools|KAON2 OWL Tools]] get more diverse and interesting. Besides the simple axiom and entity '''counter''' and '''dumper''', the not so simple '''dlpconverter''', and the '''syntactic transformer''' from XML/RDF to OWL/XML and back, you now also have a '''filter''' (want to extract only the subClassOf-Relations out of your ontology? Take filter), '''diff''' and '''merge''' (for some basic syntactic work with ontologies), '''satisfiable''' (which checks if the ontology can have a satisfying model), '''deo''' (turning SHOIN-ontologies in SHIN-ontologies by weakening, should be sound, but naturally not complete) and '''ded''' (removes some domain-related axioms, but it seems this one is still buggy).

I certainly hope this toolbox will still grow a bit. If you have any suggestions or ideas, feel free to mail me or comment here.

<noinclude>{{Semantic Nodix post}}</noinclude>

@@ Line 1: / Line 1: @@
 {{pubdate|6|April|2005}}
 The [[owl tools|KAON2 OWL Tools]] get more diverse and interesting. Besides the simple axiom and entity '''counter''' and '''dumper''', the not so simple '''dlpconverter''', and the '''syntactic transformer''' from XML/RDF to OWL/XML and back, you now also have a '''filter''' (want to extract only the subClassOf-Relations out of your ontology? Take filter), '''diff''' and '''merge''' (for some basic syntactic work with ontologies), '''satisfiable''' (which checks if the ontology can have a satisfying model), '''deo''' (turning SHOIN-ontologies in SHIN-ontologies by weakening, should be sound, but naturally not complete) and '''ded''' (removes some domain-related axioms, but it seems this one is still buggy).
@@ Line 5: / Line 4: @@
 I certainly hope this toolbox will still grow a bit. If you have any suggestions or ideas, feel free to mail me or comment here.
-&lt;noinclude&gt;{{Semantic Nodix post}}&lt;/noinclude&gt;
+<noinclude>{{Semantic Nodix post}}</noinclude>