Posts In Category All
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 […]
(I can’t get no) satisfiability
on May 9, 2013 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. […]
Post-coordination: Making things up as you go along
on April 5, 2013 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 […]
Why use an ontology?
on March 18, 2013 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 […]
Being complex on the left-hand-side: General Concept Inclusions
on September 4, 2012 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 […]
Disjointness Between Classes in an Ontology
on May 8, 2012 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 […]
Managing synonomy in OWL
on March 28, 2012 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 […]
Semantic Free Identifiers
on July 1, 2011 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 […]
How to Review for Ontogenesis
on May 30, 2011 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 […]
Review for OWL
on May 13, 2011 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 […]