Nine Variations on two Pictures: What’s in an Arrow Between two Nodes

on October 10, 2013 by Robert Stevens

on 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

on 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

on 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

on 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

on 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...

Trivially satisfiable classes

on May 23, 2013 by Robert Stevens

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

Read more...

(I can’t get no) satisfiability

on May 9, 2013 by Robert Stevens

on by Robert Stevens in Under Review, Comments (0)

Summary When talking about OWL ontologies and automated reasoning, the words (un)satisfiability and (in)consistency are bandied about like nobody’s business. We also discuss the less commonly used word incoherence. […]

Read more...

Post-coordination: Making things up as you go along

on April 5, 2013 by Robert Stevens

on by Robert Stevens in Under Review, Comments (0)

Summary Pre- and post-coordination are notions that came out of SNOMED and concerns how the vast number of terms needed for coding, in SNOMED’s case, medical records; can one […]

Read more...

Why use an ontology?

on March 18, 2013 by Robert Stevens

on by Robert Stevens in Under Review, Comments (0)

Summary The Ontogenesis KBlog is all about using ontologies within biology, medicine and health from “what is an ontology?” to the finer detail of various representation problems and aplication […]

Read more...

Being complex on the left-hand-side: General Concept Inclusions

on September 4, 2012 by Robert Stevens

on by Robert Stevens in Under Review, Comments (0)

Overview The over-whelming majority of axioms in an ontology written in OWL have an atomic class on the left-hand-side. This, however, need not be the case; it is possible […]

Read more...