Posts In Category Under Review
(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 […]
Types of Statement in an Ontology =
on by Robert Stevens in Under Review, Comments (2)
Overview An ontology or ontology-like artefact can contain a variety of types of statements about the domain being modelled, as well as statements about the artefact that is the […]
Do Cyclists pay tax? An investigation of roles and number.
on April 5, 2011 by Phillip Lord in Under Review, Comments (0)
Abstract Most long term cyclists in the UK face the accusation from other road users that, as they “don’t pay tax anyway”, then they should not be accorded with […]