Skip to main content

Scalable Highly Expressive Reasoner

A technology that provides ontology analytics (OWL-DL without nominals) over highly expressive ontologies.

Date Posted: July 1, 2008

alphaworks tab navigation


Update: July 15, 2008 Broken hyperlinks fixed in PDF file; documentation added for EL+ reasoner; some UOBM queries modified to include more than one variable in the result set.

Tab navigation

1. Where is the FAQ?

Currently, there is no FAQ for this technology. Please check the discussion forum for questions and answers.

Trademarks




Related technologies