org.semanticweb.owl.model
Interface SWRLDataFactory

All Known Subinterfaces:

OWLDataFactory

public interface SWRLDataFactory

Author: Matthew Horridge
The University Of Manchester
Medical Informatics Group
Date: Jan 15, 2007

matthew.horridge@cs.man.ac.uk
www.cs.man.ac.uk/~horridgm

Method Summary

SWRLAtomConstantObject	getSWRLAtomConstantObject(OWLConstant constant) Gets a SWRL constant object.
SWRLAtomDVariable	getSWRLAtomDVariable(java.net.URI var) Gets a SWRL d-variable.
SWRLAtomIndividualObject	getSWRLAtomIndividualObject(OWLIndividual individual) Gets a SWRL individual object.
SWRLAtomIVariable	getSWRLAtomIVariable(java.net.URI var) Gets a SWRL i-variable.
SWRLBuiltInAtom	getSWRLBuiltInAtom(SWRLBuiltInsVocabulary builtIn, java.util.List<SWRLAtomDObject> args) Creates a SWRL Built-In atom.
SWRLClassAtom	getSWRLClassAtom(OWLDescription desc, SWRLAtomIObject arg) Gets a SWRL class atom, i.e.
SWRLDataRangeAtom	getSWRLDataRangeAtom(OWLDataRange rng, SWRLAtomDObject arg) Gets a SWRL data range atom, i.e.
SWRLDataValuedPropertyAtom	getSWRLDataValuedPropertyAtom(OWLDataPropertyExpression property, SWRLAtomIObject arg0, SWRLAtomDObject arg1) Gets a SWRL data property atom, i.e.
SWRLDifferentFromAtom	getSWRLDifferentFromAtom(SWRLAtomIObject arg0, SWRLAtomIObject arg1)
SWRLObjectPropertyAtom	getSWRLObjectPropertyAtom(OWLObjectPropertyExpression property, SWRLAtomIObject arg0, SWRLAtomIObject arg1) Gets a SWRL object property atom, i.e.
SWRLRule	getSWRLRule(java.util.Set<? extends SWRLAtom> antecendent, java.util.Set<? extends SWRLAtom> consequent) Gets a SWRL rule which is not named with a URI.
SWRLRule	getSWRLRule(java.net.URI uri, boolean anonymous, java.util.Set<? extends SWRLAtom> antededent, java.util.Set<? extends SWRLAtom> consequent) Gets a SWRL rule.
SWRLRule	getSWRLRule(java.net.URI uri, java.util.Set<? extends SWRLAtom> antecendent, java.util.Set<? extends SWRLAtom> consequent) Gets a SWRL rule which is named with a URI
SWRLSameAsAtom	getSWRLSameAsAtom(SWRLAtomIObject arg0, SWRLAtomIObject arg1)

Method Detail

getSWRLRule

SWRLRule getSWRLRule(java.net.URI uri,
                     java.util.Set<? extends SWRLAtom> antecendent,
                     java.util.Set<? extends SWRLAtom> consequent)

Gets a SWRL rule which is named with a URI

Parameters:

uri - The rule URI (the "name" of the rule)

antecendent - The atoms that make up the antecedent

consequent - The atoms that make up the consequent

getSWRLRule

SWRLRule getSWRLRule(java.net.URI uri,
                     boolean anonymous,
                     java.util.Set<? extends SWRLAtom> antededent,
                     java.util.Set<? extends SWRLAtom> consequent)

Gets a SWRL rule.

Parameters:

uri - The id

anonymous - specifies if the rule is anonymous, true if it is anonymous, otherwise false.

antededent - The atoms that make up the antecedent

consequent - The atoms that make up the consequent

getSWRLRule

SWRLRule getSWRLRule(java.util.Set<? extends SWRLAtom> antecendent,
                     java.util.Set<? extends SWRLAtom> consequent)

Gets a SWRL rule which is not named with a URI.

Parameters:

antecendent - The atoms that make up the antecedent

consequent - The atoms that make up the consequent

getSWRLClassAtom

SWRLClassAtom getSWRLClassAtom(OWLDescription desc,
                               SWRLAtomIObject arg)

Gets a SWRL class atom, i.e. C(x) where C is a class description and x is either an individual id or an i-variable

Parameters:

desc - The class description

arg - The argument (x)

getSWRLDataRangeAtom

SWRLDataRangeAtom getSWRLDataRangeAtom(OWLDataRange rng,
                                       SWRLAtomDObject arg)

Gets a SWRL data range atom, i.e. D(x) where D is an OWL data range and x is either a constant or a d-variable

Parameters:

rng - The class description

arg - The argument (x)

getSWRLObjectPropertyAtom

SWRLObjectPropertyAtom getSWRLObjectPropertyAtom(OWLObjectPropertyExpression property,
                                                 SWRLAtomIObject arg0,
                                                 SWRLAtomIObject arg1)

Gets a SWRL object property atom, i.e. P(x, y) where P is an OWL object property (expression) and x and y are are either an individual id or an i-variable.

Parameters:

property - The property (P)

arg0 - The first argument (x)

arg1 - The second argument (y)

getSWRLDataValuedPropertyAtom

SWRLDataValuedPropertyAtom getSWRLDataValuedPropertyAtom(OWLDataPropertyExpression property,
                                                         SWRLAtomIObject arg0,
                                                         SWRLAtomDObject arg1)

Gets a SWRL data property atom, i.e. R(x, y) where R is an OWL data property (expression) and x and y are are either a constant or a d-variable.

Parameters:

property - The property (P)

arg0 - The first argument (x)

arg1 - The second argument (y)

getSWRLBuiltInAtom

SWRLBuiltInAtom getSWRLBuiltInAtom(SWRLBuiltInsVocabulary builtIn,
                                   java.util.List<SWRLAtomDObject> args)

Creates a SWRL Built-In atom.

Parameters:

builtIn - The SWRL builtIn (see SWRL W3 member submission)

args - A non-empty set of SWRL D-Objects

getSWRLAtomIVariable

SWRLAtomIVariable getSWRLAtomIVariable(java.net.URI var)

Gets a SWRL i-variable. This is used in rule atoms where a SWRL I object can be used.

Parameters:

var - The id (URI) of the variable

getSWRLAtomDVariable

SWRLAtomDVariable getSWRLAtomDVariable(java.net.URI var)

Gets a SWRL d-variable. This is used in rule atoms where a SWRL D object can be used.

Parameters:

var - The id (URI) of the variable

getSWRLAtomIndividualObject

SWRLAtomIndividualObject getSWRLAtomIndividualObject(OWLIndividual individual)

Gets a SWRL individual object.

Parameters:

individual - The individual that is the object argument

getSWRLAtomConstantObject

SWRLAtomConstantObject getSWRLAtomConstantObject(OWLConstant constant)

Gets a SWRL constant object.

Parameters:

constant - The constant that is the object argument

getSWRLSameAsAtom

SWRLSameAsAtom getSWRLSameAsAtom(SWRLAtomIObject arg0,
                                 SWRLAtomIObject arg1)

getSWRLDifferentFromAtom

SWRLDifferentFromAtom getSWRLDifferentFromAtom(SWRLAtomIObject arg0,
                                               SWRLAtomIObject arg1)