org.dllearner.utilities.owl
Class PropertyContext

java.lang.Object
  java.util.AbstractCollection<E>
      java.util.AbstractList<E>
          java.util.AbstractSequentialList<E>
              java.util.LinkedList<ObjectProperty>
                  org.dllearner.utilities.owl.PropertyContext

All Implemented Interfaces:

Serializable, Cloneable, Comparable<PropertyContext>, Iterable<ObjectProperty>, Collection<ObjectProperty>, Deque<ObjectProperty>, List<ObjectProperty>, Queue<ObjectProperty>

public class PropertyContext
extends LinkedList<ObjectProperty>
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

PropertyContext()

Method Summary

int	compareTo(PropertyContext context)
Description	toExistentialContext() Transforms context [r,s] to \exists r.

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, 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, retainAll, subList

Methods inherited from interface java.util.Deque

iterator

Constructor Detail

PropertyContext

public PropertyContext()

Method Detail

compareTo

public int compareTo(PropertyContext context)

Specified by:

compareTo in interface Comparable<PropertyContext>

toExistentialContext

public Description toExistentialContext()

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

Returns:

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