Difference between revisions of "New OWL tools"
imported>Ihonevigefa |
imported>Denny m (Reverted edits by Ihonevigefa (Talk); changed back to last version by Denny) |
||
| Line 1: | Line 1: | ||
| − | |||
{{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 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. | 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> | |
Latest revision as of 00:27, 19 December 2010
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.
Originally published on Semantic Nodix
| Previous post: MinCardinality | Following post: Unique Name Assumption - another example |
