d3web Demo#

Here we define our objects/questions

Who does John love? [oc] - Mary - Someone else - Himself - No one What is John doing? <abstract> [oc] - He isn't doing anything - He buys a present for Mary
The rule:

IF
"Who does John love?"
=
Mary
THEN
"What is John doing?"
=
He buys a present for Mary
ELSE
"What is John doing?"
=
"He isn't doing anything"
Dialog to test the knowledge. Answer the first question, the rule will answer the second automatically (red square to reset)

No knowledge base found for this interview.
Shows the currently derived fact:

ShowSolutions
Unable to find knowledge base. Please either add to a package used for a knowledge base or specify a master article.
Here we have the markup to define and compile the knowledge. You can download/export it here (tools in the top right corner):

Demo Knowledge Base
ling

Ontology demo#

We define our ontology:

demo.Person
demo:Person
a
rdfs.Class
rdfs:Class
.
demo.John
demo:John
a
demo.Person
demo:Person
.
demo.Mary
demo:Mary
a
demo.Person
demo:Person
.
demo.loves
demo:loves
a
rdf.Property
rdf:Property
.
demo.buysPresent
demo:buysPresent
a
rdf.Property
rdf:Property
.
demo.loves
demo:loves
owl.sameAs
owl:sameAs
demo.buysPresent
demo:buysPresent
.
demo.John
demo:John
demo.loves
demo:loves
demo.Mary
demo:Mary
.
Now we query that ontology:

A query do see who loves whom:

No ontology found! The package '' is not used to compile an ontology. Internal error while rendering section: null
A query do see who buys a present for whom:

No ontology found! The package '' is not used to compile an ontology. Internal error while rendering section: null
Here we have again a markup to compile the ontology. You can download/export it here (tools in the top right corner):

Demo ontology
OWL_HORST_OPTIMIZED
ling
demo http://example.org
ling