Difference between revisions of "New OWL tools"
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> | |
Revision as of 01: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>
