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

Disjointness Between Classes in an Ontology

on May 8, 2012 by Robert Stevens

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

Overview This KBlog describes disjointness in ontologies. The KBlog says what it is; says why you want it and describes how you get it. In brief, a disjointness axiom […]

Read more...

Managing synonomy in OWL

on March 28, 2012 by Robert Stevens

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

Overview This article describes approaches to dealing with synonomy in ontologies written in the Web Ontology Language (OWL). synonomy is an important issue in ontologies as one of the […]

Read more...

Semantic Free Identifiers

on July 1, 2011 by Phillip Lord

on by Phillip Lord in Meta, Comments (0)

As an ontologist, I probably should have known better and got this right in the first place. I have changed Ontogenesis to use semantic-free identifiers. From initial testing, it […]

Read more...

How to Review for Ontogenesis

on May 30, 2011 by Phillip Lord

on by Phillip Lord in Meta, Comments (0)

The Ontogenesis kblog is an open environment; this includes the reviews too. So, the author will know who reviewed the article; indeed, it is most likely that the authors […]

Read more...

Review for OWL

on May 13, 2011 by Robert Stevens

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

This is a review for Uli Sattler’s article on OWL the Web Ontology language. The title “OWL” looks a little strange in the table of contents, so I’d be […]

Read more...