Showing 1–1 of 1 editor-approved links.
An ontology inference engine for OWL, using Flora-2, an object-oriented knowledge base language and application development platform.