WSML Validator V1.2

This Validator determines whether a WSML definition is compliant with a specific variant. The check is currently only implemented for ontologies.
Either paste the URL of a WSML document into the URL text field or paste the entire document into the text area below.

URL: WSML: wsmlVariant _"http://www.wsmo.org/wsml/wsml-syntax/wsml-flight" namespace { _"http://example.org/simpsons#"} ontology _"http://www.example.org/ontologies/example" concept Child subConceptOf Human hasParent ofType Parent concept Parent subConceptOf Human hasChild impliesType Child hasSpouse impliesType Parent instance Mary memberOf Parent hasChild hasValue Lisa hasSpouse hasValue Homer axiom ParentsShareChildren definedBy ?wife[hasSpouse hasValue ?husband, hasChild hasValue ?child] implies ?husband[hasChild hasValue ?child].

This Validator is based on the WSML deliverable 16.1 Version 0.21 (The Web Service Modeling Language WSML). For feature request and bug reports please send an email to Nathalie Steinmetz. For language issues or language discussions please send an email to the WSML List.

This Service is also accessible as Web Service: