WSML-Rule v2.0 Reasoner

Enter a WSML v2.0 ontology either by pasting it into the text area below or enter its URL. Pressing the <Submit Query> button will then display the variable bindings for the query you entered.

URL:
WSML:	wsmlVariant _"http://www.wsmo.org/wsml/wsml-syntax/wsml-rule" namespace {_"http://www.example.org#", wsml _"http://www.wsmo.org/wsml/wsml-syntax#", xsd _"http://www.w3.org/2001/XMLSchema#", rdf _"http://www.w3.org/1999/02/22-rdf-syntax-ns#"} ontology AboutPersons concept Person name ofType xsd#string slogan ofType rdf#text hasChild impliesType Child concept Man subConceptOf Person hasWife impliesType Woman concept Woman subConceptOf Person hasHusband impliesType Man concept Child subConceptOf Person instance Homer memberOf Man name hasValue "Homer Simpson" hasChild hasValue Bart hasWife hasValue Marge slogan hasValue rdf#text("Doh", "en") instance Marge memberOf Woman name hasValue "Marge Simpson" hasChild hasValue Bart hasHusband hasValue Homer instance Bart memberOf Child name hasValue "Bart Simpson" slogan hasValue {rdf#text("Eat my shorts", "en"), rdf#text("Ay, caramba", "es")} axiom IsSpanishSpeaker definedBy ?x memberOf SpanishSpeaker impliedBy ?x[slogan hasValue ?slogan] and wsml#langFromText(?language, ?slogan) and ?language = "es".

Conjunctive Query:

	IRIS

The reasoner is based on the following components:

WSMO4J, the WSMO API and reference implementation.
WSML 2 Reasoner framework, for handling the translation to the underlying reasoner.
IRIS as underlying Datalog reasoning engine.

The current interface might be changed without notice, so please drop us a line if you use it.

Date: 2009-09-22 16:03:25