Difference between revisions of "New OWL tools"

From Simia
Jump to navigation Jump to search
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...)
 
imported>Ihonevigefa
Line 1: Line 1:
 +
=[http://yxylepo.co.cc UNDER COSTRUCTION, PLEASE SEE THIS POST IN RESERVE COPY]=
 
{{pubdate|6|April|2005}}
 
{{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).
 
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 4: Line 5:
 
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.
 
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>
+
&lt;noinclude&gt;{{Semantic Nodix post}}&lt;/noinclude&gt;

Revision as of 02:09, 24 November 2010

UNDER COSTRUCTION, PLEASE SEE THIS POST IN RESERVE COPY

The 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> Originally published on Semantic Nodix

Previous post:
MinCardinality
Following post:
Unique Name Assumption - another example



</noinclude>