Hi I've a very little idea about Semantic Web Technologies.
Suppose, we have the facts: Fact-1: "X is a bus driver" Fact-2: "X never drives any vehicle except a bus"
Can we prove that “X was seen driving a truck” is false or unsatisfiable using OWL?
In fact, I want to know whether OWL can be used to check satisfiability.
It depends how you model your facts. When you say "X was seen driving a truck", does it mean that X actually drives a truck? Let me try to model your situation, in Turtle syntax:
Now, if it is asserted that X drives a truck like this:
then the resulting knowledge base with the ontology is inconsistent and an OWL reasoner can detect this automatically.
answered 30 Dec '12, 02:04
Antoine Zimm... ♦