org.dllearner.utilities.owl

Class PropertyContext

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractList<E>

java.util.AbstractSequentialList<E>

java.util.LinkedList<org.semanticweb.owlapi.model.OWLObjectProperty>

org.dllearner.utilities.owl.PropertyContext

All Implemented Interfaces:

Serializable, Cloneable, Comparable<PropertyContext>, Iterable<org.semanticweb.owlapi.model.OWLObjectProperty>, Collection<org.semanticweb.owlapi.model.OWLObjectProperty>, Deque<org.semanticweb.owlapi.model.OWLObjectProperty>, List<org.semanticweb.owlapi.model.OWLObjectProperty>, Queue<org.semanticweb.owlapi.model.OWLObjectProperty>

public class PropertyContext
extends LinkedList<org.semanticweb.owlapi.model.OWLObjectProperty>
implements Comparable<PropertyContext>

A property context is a utility class which specifies the position of constructs with respect to properties of a construct in a class description. For instance, the A in \exists r.\exists s.A occurs in property context [r,s].

Author:

Jens Lehmann

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
PropertyContext()

Method Summary

Modifier and Type	Method and Description
int	compareTo(PropertyContext context)
org.semanticweb.owlapi.model.OWLClassExpression	toExistentialContext() Transforms context [r,s] to \exists r.\exists s.\top.

Methods inherited from class java.util.LinkedList

add, add, addAll, addAll, addFirst, addLast, clear, clone, contains, descendingIterator, element, get, getFirst, getLast, indexOf, lastIndexOf, listIterator, offer, offerFirst, offerLast, peek, peekFirst, peekLast, poll, pollFirst, pollLast, pop, push, remove, remove, remove, removeFirst, removeFirstOccurrence, removeLast, removeLastOccurrence, set, size, spliterator, toArray, toArray

Methods inherited from class java.util.AbstractSequentialList

iterator

Methods inherited from class java.util.AbstractList

equals, hashCode, listIterator, subList

Methods inherited from class java.util.AbstractCollection

containsAll, isEmpty, removeAll, retainAll, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.List

containsAll, equals, hashCode, isEmpty, iterator, listIterator, removeAll, replaceAll, retainAll, sort, subList

Methods inherited from interface java.util.Deque

iterator

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream

Methods inherited from interface java.lang.Iterable

forEach

Constructor Detail

PropertyContext

public PropertyContext()

Method Detail

compareTo

public int compareTo(@NotNull
                     PropertyContext context)

Specified by:

compareTo in interface Comparable<PropertyContext>

toExistentialContext

public org.semanticweb.owlapi.model.OWLClassExpression toExistentialContext()

Transforms context [r,s] to \exists r.\exists s.\top.

Returns:

A OWLClassExpression with existential quantifiers and \top corresponding to the context.