org.semanticweb.owl.model
Interface SWRLRule

All Superinterfaces:

java.lang.Comparable<OWLObject>, OWLAxiom, OWLLogicalAxiom, OWLObject, SWRLObject

public interface SWRLRule
extends OWLLogicalAxiom, SWRLObject

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

Represent a rule. A rule consists of a head and a body. Both the head and the body consist of a conjunction of atoms.

Method Summary

boolean	containsAnonymousDescriptions() Determines if this rule uses anonymous descriptions in class atoms.
java.util.Set<SWRLAtom>	getBody() Gets the atoms in the body
java.util.Set<OWLDescription>	getClassAtomPredicates() Gets the predicates of class atoms.
java.util.Set<SWRLAtomDVariable>	getDVariables() Gets the data variables that appear in this rule
java.util.Set<SWRLAtom>	getHead() Gets the atoms in the head.
java.util.Set<SWRLAtomIVariable>	getIVariables() Gets the object variables that appear in this rule
java.net.URI	getURI()
java.util.Set<SWRLAtomVariable>	getVariables() Gets the variables that appear in this rule.
boolean	isAnonymous() Determines if this rule is anonymous.

Methods inherited from interface org.semanticweb.owl.model.OWLAxiom

accept, accept, getAnnotationAxioms, getAxiomType, getNNF, getReferencedEntities, isLogicalAxiom

Methods inherited from interface org.semanticweb.owl.model.OWLObject

accept, accept, getSignature

Methods inherited from interface java.lang.Comparable

compareTo

Methods inherited from interface org.semanticweb.owl.model.SWRLObject

accept, accept

Method Detail

isAnonymous

boolean isAnonymous()

Determines if this rule is anonymous. Rules may be named using URIs.

Returns:

true if this rule is anonymous and therefore doesn't have a URI.

getURI

java.net.URI getURI()

getBody

java.util.Set<SWRLAtom> getBody()

Gets the atoms in the body

Returns:

A set of SWRLAtoms, which represent the atoms in the body of the rule.

getHead

java.util.Set<SWRLAtom> getHead()

Gets the atoms in the head.

Returns:

A set of SWRLAtoms, which represent the atoms in the head of the rule

getVariables

java.util.Set<SWRLAtomVariable> getVariables()

Gets the variables that appear in this rule.

Returns:

A set of variables.

getIVariables

java.util.Set<SWRLAtomIVariable> getIVariables()

Gets the object variables that appear in this rule

Returns:

A set of object variables

getDVariables

java.util.Set<SWRLAtomDVariable> getDVariables()

Gets the data variables that appear in this rule

Returns:

A set of data variables

containsAnonymousDescriptions

boolean containsAnonymousDescriptions()

Determines if this rule uses anonymous descriptions in class atoms.

Returns:

true if this rule contains anonymous class description in class atoms, otherwise false.

getClassAtomPredicates

java.util.Set<OWLDescription> getClassAtomPredicates()

Gets the predicates of class atoms.

Returns:

A set of descriptions that represent the class descriptions that are predicates of class atoms.