uk.ac.manchester.cs.jfact.kernel.dl.axioms

Class AxiomSingleDRole

java.lang.Object

org.semanticweb.owlapitools.decomposition.AxiomWrapper

uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomImpl

uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomSingleDRole

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

AxiomDRoleDomain, AxiomDRoleFunctional, AxiomDRoleRange, AxiomDRoleSubsumption

@PortedFrom(file="tDLAxiom.h",
            name="TDLAxiomSingleDRole")
public abstract class AxiomSingleDRole
extends AxiomImpl

data role axiom

See Also:

Serialized Form

Method Summary

Modifier and Type	Method and Description
DataRoleExpression	getRole()
Stream<Expression>	namedEntitySignature()

Methods inherited from class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomImpl

accept, accept

Methods inherited from class org.semanticweb.owlapitools.decomposition.AxiomWrapper

getAtom, getAxiom, getId, isInModule, isInSearchSpace, isUsed, setAtom, setId, setInModule, setInSearchSpace, setUsed, signature

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

getRole

@PortedFrom(file="tDLAxiom.h",
            name="getRole")
public DataRoleExpression getRole()

Returns:

role

namedEntitySignature

public Stream<Expression> namedEntitySignature()

Specified by:

namedEntitySignature in class AxiomImpl

Returns:

named entities included in this axiom