Archive For May 2013
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. […]