Source Pattern Detection.

OP1 is serialized as follows:

    <placeholder type="ObjectProperty">?p</placeholder>
    <placeholder type="Class">?A</placeholder>
    <placeholder type="Class">?B</placeholder>
    <placeholder type="Class">?C</placeholder>
    <axiom>?p domain ?A</axiom>
    <axiom>?p range ?B</axiom>
    <axiom>?C subClassOf ?B</axiom>

This is translated into a SPARQL query (omitting declarations of prefixes):

  ?p rdf:type owl:ObjectProperty.
  ?A rdf:type owl:Class. ?B rdf:type owl:Class. ?C rdf:type owl:Class.
  ?p rdfs:domain ?A;
     rdfs:range ?B.
  ?C rdfs:subClassOf ?B.

Furthermore, there are the specific naming constraints that filter out some query results:

  <comparison threshold="1.0" measure="equal">

As a result, we have the binding of placeholders, e.g.:

  <binding placeholder="?p">hasDecision</binding>
  <binding placeholder="?B">Decision</binding>
  <binding placeholder="?A">Paper</binding>
  <binding placeholder="?C">Acceptance</binding>

This would be the output of the OntologyPatternDetection RESTful service.

ondrej 2011-06-21