SWRLABoxBuiltInLibrary

Martin O'Connor edited this page Aug 6, 2016 · 14 revisions

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

Note that these built-ins query only asserted axioms.

This library defines the following built-ins:

  • caa Class assertion axiom. e.g., abox:caa(Person, ?i)
  • sia Same individual axiom. e.g., abox:sia(henry, ?i)
  • dia Different individuals axiom. e.g., abox:dia(henry, bob)
  • opaa Object property assertion axiom. e.g., abox:opaa(henry, ?p, bob)
  • nopaa Negative object property assertion axiom. e.g., abox:nopaa(henry, ?p, bob)
  • dpaa Data property assertion axiom. e.g., abox:dpaa(?i, hasAge, 13)
  • ndpaa Negative data property assertion axiom. e.g., abox:ndpaa(?i, hasAge, 13)

Examples

List all data properties with a boolean value of true:

    abox:dpaa(?s, ?p, true) -> sqwrl:select(?p)

List all values of data properties hasAge:

    abox:dpaa(?s, hasAge, ?v) -> sqwrl:select(?v)