Skip to content

SWRLRBoxBuiltInLibrary

Jump to bottom
Martin O'Connor edited this page Aug 5, 2016 · 13 revisions

This built-in library provides methods for querying OWL RBox axioms using the SQWRL query language. This built-in library is part of one of the three SWRLAPI OWL axiom querying libraries and can be used in combination with the ABox and TBox built-in libraries to query all OWL axiom types in an ontology.

This library defines the following built-ins:

  • topa Transitive object property axiom. e.g., rbox:topa(?p)
  • djopa Disjoint object property axiom. e.g., rbox:djopa(?p, p2)
  • sopa Sub object property of axiom. e.g., rbox:sopa(?p, p2)
  • eopa Equivalent object properties axiom. e.g., rbox:eopa(?p, p2)
  • spa Symmetricc property axiom. e.g., rbox:spa(?p)
  • aopa Asymmetric object property axiom. e.g., rbox:aopa(p2)
  • ropa Reflexive object property axiom. e.g., rbox:ropa(p2)
  • iropa Irreflexive object property axiom. e.g., rbox:iropa(p2)
  • iopa Inverse object properties axiom. e.g., rbox:iopa(p2)
  • djdpa Disjoint data properties axiom. e.g., rbox:djdpa(?p, p2)
  • sdpa Sub data property axiom. e.g., rbox:sdpa(?p, p2)
  • edpa Equivalent data properties axiom. e.g., rbox:epda(?p, p2)
  • spoca Not yet implemented. Sub property chain of axiom.

Examples

List all pairs of OWL disjoint data properties: 

    rbox:djdpa(?dp1, ?dp2) -> sqwrl:select(?dp1, ?dp2) ^ sqwrl:orderBy(?dp1, ?dp2)

List all OWL irreflexive object properties: 

    rbox:ropa(?p) -> sqwrl:select(?p) ^ sqwrl:orderBy(?p)

Clone this wiki locally