WSML DL Reasoner

Enter a WSML DL ontology either by pasting it into the text area below or enter its URL. Enter a concept expression in the query text area below. Pressing the <Test concept satisfiability> button will then display whether the expression you entered is satisfiable or not. Pressing the <Get Class Tree> button will display a class tree of the given ontology.

URL:
WSML:	wsmlVariant _"http://www.wsmo.org/wsml/wsml-syntax/wsml-dl" namespace { _"http://www.example.org/ontologies/example#", dc _"http://purl.org/dc/elements/1.1#"} ontology _"http://www.example.org/ontologies/example" concept Animal concept Human hasWeight ofType {_decimal, _integer} hasName ofType _string concept Person subConceptOf Human concept Woman subConceptOf{Human} nfp dc#relation hasValue "disjoint to Man" endnfp concept Child subConceptOf{Human} hasParent impliesType Human concept Machine relation hasChild(impliesType {Human}, impliesType {Child}) instance Mary memberOf {Woman, Mother} hasChild hasValue Jim hasWeight hasValue 62 hasName hasValue "Mary Jones" instance Jack memberOf{Human} instance Jim memberOf{Child} relation hasMother(impliesType {Child}, impliesType {Woman}) subRelationOf hasParent relation hasParent(impliesType {Child}, impliesType {Person}) subRelationOf hasRelative relationInstance isMarriedTo(Mary, Jack) axiom definedBy // subconcept definition Human subConceptOf Animal. // Negation neg(?x memberOf Human) impliedBy ?x memberOf Machine. // Symmetric relation ?x[isMarriedTo hasValue ?y] impliedBy ?y[isMarriedTo hasValue ?x].

concept satisfiability expression:

This reasoner is at present able to process WSML-DL Ontologies.

Known limitations: The WSML DL reasoner currently supports the following logical expressions for entailment checking:

Atom (e.g. C)
MembershipMolecule
Conjunction
Disjunction
Negation
UniversalQuantification
ExistentialQuantification

The satisfiability check returns true if the given expression is satisfiable and returns false otherwise.

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.
Pellet 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.