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

Class AxiomSingleORole

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.AxiomSingleORole

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

AxiomORoleDomain, AxiomORoleFunctional, AxiomORoleRange, AxiomORoleSubsumption, AxiomRoleAsymmetric, AxiomRoleInverse, AxiomRoleInverseFunctional, AxiomRoleIrreflexive, AxiomRoleReflexive, AxiomRoleSymmetric, AxiomRoleTransitive

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

object role axiom

See Also:

Serialized Form

Method Summary

Modifier and Type	Method and Description
ObjectRoleExpression	getRole()
java.util.stream.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 ObjectRoleExpression getRole()

Returns:

role

namedEntitySignature

public java.util.stream.Stream<Expression> namedEntitySignature()

Specified by:

namedEntitySignature in class AxiomImpl

Returns:

named entities included in this axiom