Posts In Category Under Review
Pub Quiz for people who want to learn about OWL.
on April 1, 2015 by Robert Stevens in Under Review, Comments (0)
Overview the semantics of OWL can be a little tricksy at times. Having a firm hold of the semantics of axioms, the implications of those axioms and how the […]
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 […]
Nine Variations on two Pictures: What’s in an Arrow Between two Nodes
on October 10, 2013 by Robert Stevens in Under Review, Comments (0)
Overview When designing an ontology, we often start by drawing some pictures, like the one below. This is a good starting point: it allows us to agree on the […]
An object lesson in choosing between a class and an object
on August 16, 2013 by Robert Stevens in Under Review, Comments (0)
Overview The Web Ontology Language (OWL) and other knowledge representation languages allow an ontologist to distinguish between classes of individuals and the individuals themselves. It is not always obvious […]
Modelling in multiple dimensions is great in so many ways
on August 15, 2013 by Robert Stevens in Under Review, Comments (0)
Overview We describe what multi-dimensional modelling is, why it’s good for you, and how it works in OWL. The Authors Uli Sattler and Robert Stevens Information Management and BioHealth […]
Friends and Family: Exploring Transitivity and Subproperties
on August 8, 2013 by Sean Bechhofer in Uncategorized, Under Review, Comments (0)
Summary An exploration of the relationship between subproperties and property characteristics, in particular transitivity. Author Sean Bechhofer Information Management Groups School of Computer Science University of Manchester Oxford Road […]
Trivially satisfiable classes
on May 23, 2013 by Robert Stevens in Under Review, Comments (0)
Summary We are used to having an automated reasoner tell us when we’ve described an impossibility in our ontologies. In this case, it is possible to change the axioms […]