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 on Updated List of OWL reasoners

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.

May 26, 2014
by Nico Matentzoglu
Comments Off on New Tutorial: Introduction to Implementing Ontologies in the Web Ontology Language (OWL)

New Tutorial: Introduction to Implementing Ontologies in the Web Ontology Language (OWL)

The school of Computer Science at the University of Manchester are pleased to invite you to participate in their internationally renowned OWL Ontology tutorials.  It is to be hosted at the University of Manchester on 01 and 02 July 2014.  Abstract This … Continue reading

April 17, 2014
by Nico Matentzoglu
Comments Off on Hard subsets in OWL ontologies

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

April 15, 2014
by Nico Matentzoglu
Comments Off on Whatif: Understanding the Ontology Authoring Process

Whatif: Understanding the Ontology Authoring Process

Despite various gross ontology engineering methods, philosophical principles and work on design patterns, there is no work that informs us about the ontology authoring process at the level of addition of axioms. Logic based ontologies, such as those written in … Continue reading

January 28, 2014
by Nico Matentzoglu
Comments Off on Manchester Family History Advanced OWL Tutorial in February

Manchester Family History Advanced OWL Tutorial in February

Manchester Family History Advanced OWL Tutorial Dates: 27th/28th February 2014 Time: 10am – 5pm Location: Room G306a Jean McFarlane Building, University of Manchester. The Bio-Health Informatics Group at The University of Manchester invites you to participate in a newly developed … Continue reading