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

Class AxiomDRoleDomain

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

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

All Implemented Interfaces:

Serializable

@PortedFrom(file="tDLAxiom.h",
            name="TDLAxiomDRoleDomain")
public class AxiomDRoleDomain
extends AxiomSingleDRole

data role domain

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
AxiomDRoleDomain(org.semanticweb.owlapi.model.OWLAxiom ax, DataRoleExpression role, ConceptExpression domain)

Method Summary

Modifier and Type	Method and Description
void	accept(DLAxiomVisitor visitor) accept method for the visitor pattern
<O> O	accept(DLAxiomVisitorEx<O> visitor)
ConceptExpression	getDomain()
Stream<Expression>	namedEntitySignature()

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

getRole

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

Constructor Detail

AxiomDRoleDomain

@PortedFrom(file="tDLAxiom.h",
            name="Domain")
public AxiomDRoleDomain(org.semanticweb.owlapi.model.OWLAxiom ax,
                                                                                  DataRoleExpression role,
                                                                                  ConceptExpression domain)

Parameters:

ax - ax

role - role

domain - domain

Method Detail

namedEntitySignature

public Stream<Expression> namedEntitySignature()

Overrides:

namedEntitySignature in class AxiomSingleDRole

Returns:

named entities included in this axiom

accept

@PortedFrom(file="tDLAxiom.h",
            name="accept")
public void accept(DLAxiomVisitor visitor)

Description copied from class: AxiomImpl

accept method for the visitor pattern

Specified by:

accept in class AxiomImpl

Parameters:

visitor - visitor

accept

@Nullable
 @PortedFrom(file="tDLAxiom.h",
            name="accept")
public <O> O accept(DLAxiomVisitorEx<O> visitor)

Specified by:

accept in class AxiomImpl

Type Parameters:

O - visitor return type

Parameters:

visitor - visitor

Returns:

visitor result

getDomain

@PortedFrom(file="tDLAxiom.h",
            name="getDomain")
public ConceptExpression getDomain()

Returns:

domain