Archive For 2014
The Green Green Grass of OWL
on October 18, 2014 by Robert Stevens in Under Review, Comments (0)
Overview We are going to discuss various options for modelling properties or qualities of objects, using colour as an example. We try to compare the different options with respect […]
How does a reasoner work?
on August 12, 2014 by Robert Stevens in Under Review, Comments (0)
Summary Reasoners should play a vital role in developing and using an ontology written in OWL. Automated reasoners such as Pellet, FaCT++, HerMiT, ELK and so on take a […]
Ontological commitment: Committing to what an ontology claims
on August 1, 2014 by Robert Stevens in Under Review, Comments (0)
Summary To paraphrase Davis, Shrobe & Szolovits (a4c38dd5900b5cccbdc1f7157f47cfd9), an ontological commitment is an answer to the question of “how should I think about the world?”. An ontology is a […]
Walking your fingers through the trees in OWL: why there are things you want to say but can’t
on July 25, 2014 by Robert Stevens in Articles, Under Review, Comments (0)
Summary OWL has a tree model property. This property is (one of the) reasons why the reasoning problems underlying, say, the computation of the inferred class hierarchy, are decidable […]