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 […]

Read more...

(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. […]

Read more...