Uses of Class
org.dllearner.core.owl.ObjectPropertyExpression

Packages that use ObjectPropertyExpression

org.dllearner.core.owl	Classes/Interfaces for representing OWL constructs - see the OWL 2 Structural Specification for details.
org.dllearner.reasoning	Implements the connection to other reasoner or own reasoning/caching algorithms.

Uses of ObjectPropertyExpression in org.dllearner.core.owl

Subclasses of ObjectPropertyExpression in org.dllearner.core.owl

class	ObjectProperty Represents an object property in a knowledge base / ontology, e.g.
class	ObjectPropertyInverse Represents the inverse of a property expression.

Methods in org.dllearner.core.owl that return ObjectPropertyExpression

ObjectPropertyExpression	IrreflexiveObjectPropertyAxiom.getRole()
ObjectPropertyExpression	ObjectCardinalityRestriction.getRole()
ObjectPropertyExpression	InverseFunctionalObjectPropertyAxiom.getRole()
ObjectPropertyExpression	TransitiveObjectPropertyAxiom.getRole()
ObjectPropertyExpression	FunctionalObjectPropertyAxiom.getRole()
ObjectPropertyExpression	ReflexiveObjectPropertyAxiom.getRole()
ObjectPropertyExpression	ObjectQuantorRestriction.getRole()

Constructors in org.dllearner.core.owl with parameters of type ObjectPropertyExpression

IrreflexiveObjectPropertyAxiom(ObjectPropertyExpression role)

ObjectAllRestriction(ObjectPropertyExpression role, Description c)

ObjectCardinalityRestriction(int number, ObjectPropertyExpression role, Description c)

ObjectExactCardinalityRestriction(int number, ObjectPropertyExpression role, Description c)

ObjectMaxCardinalityRestriction(int number, ObjectPropertyExpression role, Description c)

ObjectMinCardinalityRestriction(int number, ObjectPropertyExpression role, Description c)

ObjectQuantorRestriction(ObjectPropertyExpression role, Description c)

ObjectSomeRestriction(ObjectPropertyExpression role, Description c)

ReflexiveObjectPropertyAxiom(ObjectPropertyExpression role)

TransitiveObjectPropertyAxiom(ObjectPropertyExpression role)

Uses of ObjectPropertyExpression in org.dllearner.reasoning

Methods in org.dllearner.reasoning with parameters of type ObjectPropertyExpression

static StringBuilder

DIGConverter.getDIGString(ObjectPropertyExpression role)