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.


asked 29 Dec '12, 20:54

rssadiq's gravatar image

accept rate: 0%

edited 29 Dec '12, 21:03

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:

:Vehicle  a  owl:Class .          # The class of all vehicles
:Bus  a  owl:Class;               # The class of all buses
    rdfs:subClassOf  :Vehicle .   # Buses are vehicles
:Truck  a  owl:Class;             # The class of all trucks
    rdfs:subClassOf  :Vehicle;    # Trucks are vehicles
    owl:disjointWith  :Bus .      # Trucks are not buses and vice versa
:drives  a  owl:ObjectProperty .  # The relationship between persons and the vehicles they drive
:BusDriver  a  owl:Class;
    rdfs:subClassOf  [
        a  owl:Restriction;
        owl:onProperty  :drives;
        owl:someValuesFrom  :Bus  # A bus driver is someone who drives a bus
    ] .
:X  a  :BusDriver, [              # X is a bus driver
       a  owl:Restriction;
       owl:onProperty  :drives;
       owl:allValuesFrom  :Bus    # X only drives buses
    ] .

Now, if it is asserted that X drives a truck like this:

:X  :drives  [ a  :Truck ] .

then the resulting knowledge base with the ontology is inconsistent and an OWL reasoner can detect this automatically.

permanent link

answered 30 Dec '12, 02:04

Antoine%20Zimmermann's gravatar image

Antoine Zimm... ♦
accept rate: 34%

With "X was seen driving a truck", I wanted to mean that someone has claimed that s/he has seen X driving a truck. However, I wanted to know whether OWL can say that the claim is wrong based on the existing knowledge base. Anyway, you've answered my question. Thanks.

(30 Dec '12, 13:42) rssadiq rssadiq's gravatar image
Your answer
toggle preview

Follow this question

By Email:

Once you sign in you will be able to subscribe for any updates here



Answers and Comments

Markdown Basics

  • *italic* or _italic_
  • **bold** or __bold__
  • link:[text](http://url.com/ "title")
  • image?![alt text](/path/img.jpg "title")
  • numbered list: 1. Foo 2. Bar
  • to add a line break simply add two spaces to where you would like the new line to be.
  • basic HTML tags are also supported

Question tags:


question asked: 29 Dec '12, 20:54

question was seen: 1,329 times

last updated: 30 Dec '12, 13:42