Posts In Category Articles
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 […]
Higher Order Knowledge in Ontologies
on May 13, 2011 by Robert Stevens in Articles, Under Review, Comments (0)
Overview In this k-blog we look at another kind of statement found in an ontology, higher order knowledge. In this case it is orientated about statements about the class, […]
generalisation Statements in Ontologies
on by Robert Stevens in Articles, Under Review, Comments (0)
Overview Inn this kblog we talk about statements that are generalisations about a domain, but are not universally true. Much of domain knowledge can fall into this category of […]
Metadata in Ontologies
on by Robert Stevens in Articles, Comments (0)
Overview This kblog is about metadata for an ontology and the statements in an ontology. Metadata are another example of a kind of statement in an ontology. we divide […]