Reasoning with Negation


Eric is in rm308 or in rmTimBL
Eric is not in rm308
----------
Eric is in rmTimBL

disjoint classes, distinct objects: semantic consistency

sebastian car:color "Brown"
sebastian rdf:type Horse
car:color rdfs:domain Car
Car daml:DisjointClass Horse
---------
p & -p,  ... premises are contradictory, system is not satisfiable,
system is inconsistent, there are no models