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>Denny m (Reverted edits by Ihonevigefa (Talk); changed back to last version by Denny) |
| (One intermediate revision by one other user not shown) | |
(No difference)
| |
Latest revision as of 01: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 |
