-
sean_bechhofer registered the COHSE project.
2007-06-29 15:05:20 UTC in COHSE
-
Support for modularisation.
2007-06-14 11:37:45 UTC in OWL API
-
Support for Query interface. Conjunctive Queries? SPARQL-DL?.
2007-06-14 11:34:58 UTC in OWL API
-
Renderer providing dot formats. Refactoring of OWLViz code to give a standalone component.
Renderer to provide alternative hierarchical views, e.g. subsumption hierarchy (asserted/inferred), instance graphs, hierarchy based on partonomy etc.
2007-06-14 11:33:33 UTC in OWL API
-
Refactoring of some of the reasoning interfaces to introduce a general notion of a hierarchy provider, that may use reasoning to provide a hierarchical view, or may simply use asserted information.
Resolves some confusion with the "non-reasoning" reasoners in the current implementation.
2007-06-14 11:31:08 UTC in OWL API
-
Implementation providing persistent backend. DB or triple store?.
2007-06-14 11:28:30 UTC in OWL API
-
Bespoke binary formats for fast load/store of ontologies.
2007-06-14 11:26:56 UTC in OWL API
-
Ordering on axioms/descriptions to ensure consistent serializations (e.g. of OWL/XML).
Would then allow use of textual tools like diff to spot changes in ontologies, and facilitate the use of cvs/svn repositories for storing ontologies and supporting versioning.
2007-06-14 11:25:46 UTC in OWL API
-
Ontology "diff".
Syntactic level: checking whether ontology axioms are syntactically equivalent.
Semantic level: checking entailments between ontology axioms.
Possibly sophisticated reporting, e.g. what needs to be removed from ontology1 to get equivalence to ontology2.
Potentially of use in KWeb benchmarking activities.
2007-06-14 11:23:49 UTC in OWL API
-
Code to support integration of the OWL API into the KnowledgeWeb interoperability and benchmarking activities.
2007-06-14 11:20:50 UTC in OWL API
