OWL research at the University of Manchester

Joint research by members of the Information Management Group and the Bio-Health Informatics Group.

March 28, 2015
by Nico Matentzoglu
Comments Off

Updated List of OWL reasoners

An updated list of OWL reasoners is available here. If you feel that one ore more reasoners are missing or wrongly presented, please drop as an email.

April 17, 2014
by Nico Matentzoglu
Comments Off

Hard subsets in OWL ontologies

Very expressive Description Logics in the SH family have worst case complexity ranging from EXPTIME to double NEXPTIME. In spite of this, they are very popular with modellers and serve as the foundation of the Web Ontology Language (OWL), a … Continue reading