public interface SWRLProvider
Modifier and Type | Method and Description |
---|---|
SWRLBuiltInAtom |
getSWRLBuiltInAtom(IRI builtInIRI,
List<SWRLDArgument> args)
Creates a SWRL Built-In atom.
|
SWRLClassAtom |
getSWRLClassAtom(OWLClassExpression predicate,
SWRLIArgument arg)
Gets a SWRL atom where the predicate is a class expression i.e.
|
SWRLDataPropertyAtom |
getSWRLDataPropertyAtom(OWLDataPropertyExpression property,
SWRLIArgument arg0,
SWRLDArgument arg1)
Gets a SWRL data property atom, i.e.
|
SWRLDataRangeAtom |
getSWRLDataRangeAtom(OWL2Datatype predicate,
SWRLDArgument arg)
Gets a SWRL atom where the predicate is a data range, i.e.
|
SWRLDataRangeAtom |
getSWRLDataRangeAtom(OWLDataRange predicate,
SWRLDArgument arg)
Gets a SWRL atom where the predicate is a data range, i.e.
|
SWRLDifferentIndividualsAtom |
getSWRLDifferentIndividualsAtom(SWRLIArgument arg0,
SWRLIArgument arg1) |
SWRLIndividualArgument |
getSWRLIndividualArgument(OWLIndividual individual)
Gets a SWRLIndividualArgument, which is used to wrap and OWLIndividual as an argument for an
atom.
|
SWRLLiteralArgument |
getSWRLLiteralArgument(OWLLiteral literal)
Gets a SWRLLiteralArgument, which is used to wrap an OWLLiteral to provide an argument for an
atom.
|
SWRLObjectPropertyAtom |
getSWRLObjectPropertyAtom(OWLObjectPropertyExpression property,
SWRLIArgument arg0,
SWRLIArgument arg1)
Gets a SWRL object property atom, i.e.
|
SWRLRule |
getSWRLRule(Collection<? extends SWRLAtom> body,
Collection<? extends SWRLAtom> head)
Gets an anonymous SWRL Rule.
|
SWRLRule |
getSWRLRule(Collection<? extends SWRLAtom> body,
Collection<? extends SWRLAtom> head,
Collection<OWLAnnotation> annotations)
Gets an anonymous SWRL Rule.
|
SWRLSameIndividualAtom |
getSWRLSameIndividualAtom(SWRLIArgument arg0,
SWRLIArgument arg1) |
default SWRLVariable |
getSWRLVariable(HasIRI var)
Gets a SWRLVariable with the same IRI as the input.
|
SWRLVariable |
getSWRLVariable(IRI var)
Gets a SWRLVariable.
|
default SWRLVariable |
getSWRLVariable(String iri)
Gets a SWRLVariable.
|
default SWRLVariable |
getSWRLVariable(String namespace,
String remainder)
Gets a SWRLVariable.
|
SWRLRule getSWRLRule(Collection<? extends SWRLAtom> body, Collection<? extends SWRLAtom> head)
body
- The atoms that make up the bodyhead
- The atoms that make up the headSWRLRule getSWRLRule(Collection<? extends SWRLAtom> body, Collection<? extends SWRLAtom> head, Collection<OWLAnnotation> annotations)
body
- The atoms that make up the bodyhead
- The atoms that make up the headannotations
- The annotations for the rule (may be an empty set)SWRLClassAtom getSWRLClassAtom(OWLClassExpression predicate, SWRLIArgument arg)
predicate
- The class expression that represents the predicate of the atomarg
- The argument (x)SWRLDataRangeAtom getSWRLDataRangeAtom(OWLDataRange predicate, SWRLDArgument arg)
predicate
- The data range that represents the predicate of the atomarg
- The argument (x)SWRLDataRangeAtom getSWRLDataRangeAtom(OWL2Datatype predicate, SWRLDArgument arg)
predicate
- The data range that represents the predicate of the atomarg
- The argument (x)SWRLObjectPropertyAtom getSWRLObjectPropertyAtom(OWLObjectPropertyExpression property, SWRLIArgument arg0, SWRLIArgument arg1)
property
- The property (P) representing the atom predicatearg0
- The first argument (x)arg1
- The second argument (y)SWRLDataPropertyAtom getSWRLDataPropertyAtom(OWLDataPropertyExpression property, SWRLIArgument arg0, SWRLDArgument arg1)
property
- The property (P) that represents the atom predicatearg0
- The first argument (x)arg1
- The second argument (y)SWRLBuiltInAtom getSWRLBuiltInAtom(IRI builtInIRI, List<SWRLDArgument> args)
SWRLBuiltInsVocabulary
.builtInIRI
- The builtin predicate IRIargs
- A non-empty set of SWRL Arguments.IllegalArgumentException
- if the list of arguments is emptySWRLVariable getSWRLVariable(IRI var)
var
- The id (IRI) of the variabledefault SWRLVariable getSWRLVariable(String iri)
iri
- The IRI of the variabledefault SWRLVariable getSWRLVariable(String namespace, @Nullable String remainder)
namespace
- The IRI namespaceremainder
- optional remainder or local namedefault SWRLVariable getSWRLVariable(HasIRI var)
var
- an HasIRI instance. The variable will have the same IRISWRLIndividualArgument getSWRLIndividualArgument(OWLIndividual individual)
individual
- The individual that is the object argumentSWRLLiteralArgument getSWRLLiteralArgument(OWLLiteral literal)
literal
- The constant that is the object argumentSWRLSameIndividualAtom getSWRLSameIndividualAtom(SWRLIArgument arg0, SWRLIArgument arg1)
arg0
- first individualarg1
- second individualSWRLDifferentIndividualsAtom getSWRLDifferentIndividualsAtom(SWRLIArgument arg0, SWRLIArgument arg1)
arg0
- first individualarg1
- second individualCopyright © 2020 The University of Manchester. All rights reserved.