org.semanticweb.elk.reasoner.indexing.hierarchy
Class IndexedObjectComplementOf
java.lang.Object
org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObject
org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClassExpression
org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedObjectComplementOf
- All Implemented Interfaces:
- Comparable<IndexedClassExpression>
public class IndexedObjectComplementOf
- extends IndexedClassExpression
Represents all occurrences of an ElkObjectComplementOf in an
ontology.
- Author:
- "Yevgeny Kazakov"
|
Field Summary |
protected static org.apache.log4j.Logger |
LOGGER_
|
| Methods inherited from class org.semanticweb.elk.reasoner.indexing.hierarchy.IndexedClassExpression |
accept, checkOccurrenceNumbers, compareTo, getCompositionRuleHead, getContext, hashCode, occurs, occursNegatively, occursPositively, printOccurrenceNumbers, resetContext, setContext |
LOGGER_
protected static final org.apache.log4j.Logger LOGGER_
IndexedObjectComplementOf
protected IndexedObjectComplementOf(IndexedClassExpression negated)
getNegated
public IndexedClassExpression getNegated()
accept
public <O> O accept(IndexedObjectComplementOfVisitor<O> visitor)
accept
public <O> O accept(IndexedClassExpressionVisitor<O> visitor)
- Specified by:
accept in class IndexedClassExpression
accept
public void accept(DecompositionRuleApplicationVisitor visitor,
Context context)
- Specified by:
accept in class IndexedClassExpression
toStringStructural
public String toStringStructural()
- Returns:
- a structural string representation of the object
Copyright © 2011-2013 Department of Computer Science, University of Oxford. All Rights Reserved.