WSML Rule Reasoner

Enter a WSML ontology either by pasting it into the text area below or enter its URL. You can choose whether you want to use MINS or IRIS as underlying reasoning engine by changing the value of the radio button below the text area. By default the IRIS reasoner is used.

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-flight" namespace {_"http://www.example.org#"} ontology AboutHumans concept Human hasRelative symmetric ofType Human hasChild ofType Child concept Man subConceptOf Human hasWife inverseOf(hasHusband) ofType Woman concept Woman subConceptOf Human hasHusband ofType Man concept Child subConceptOf Human instance Homer memberOf Man hasWife hasValue Marge instance Marge memberOf Woman hasChild hasValue Lisa instance Lisa memberOf Child ageInYears hasValue 12 axiom aChild definedBy ?child[ageInYears hasValue ?age] and ?age<16 implies ?child memberOf Child . axiom aRelative definedBy ?x[hasWife hasValue ?y] implies ?x[hasSpouse hasValue ?y]. ?x[hasHusband hasValue ?y] implies ?x[hasSpouse hasValue ?y]. ?x[hasSpouse hasValue ?y] implies ?x[hasRelative hasValue ?y]. ?x[hasChild hasValue ?y] implies ?x[hasRelative hasValue ?y].

Conjunctive Query:

	IRIS	MINS

The IRIS reasoner is at present able to process WSML-Flight Ontologies

The MINS reasoner is at present able to process WSML-Rule Ontologies, with the following limitations:

only simple datatypes are supported (int, decimal, string).

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.
Either IRIS or MINS as underlying reasoner engine.

This service is also accessible as Web Service.

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

Version History | Display Using Frames | No Frames

$Date: 2008-12-15 16:03:25 $