Posts In Category All

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 […]

Read more...

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 […]

Read more...

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 […]

Read more...

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 […]

Read more...

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 […]

Read more...

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 […]

Read more...

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 […]

Read more...

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 […]

Read more...

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 […]

Read more...

Common reasons for ontology inconsistency

on June 12, 2013 by Samantha Bail in Articles, Comments (0)

Summary Following on from the previous Ontogenesis article “(I can’t get no) satisfiability” (http://ontogenesis.knowledgeblog.org/1329), this post explores common reasons for the inconsistency of an ontology. Inconsistency is a severe error […]

Read more...