uk.ac.manchester.owl.owlapi.tutorial
Class ExistentialCollector

java.lang.Object
  extended by org.semanticweb.owlapi.util.OWLClassExpressionVisitorAdapter
      extended by uk.ac.manchester.owl.owlapi.tutorial.ExistentialCollector
All Implemented Interfaces:
OWLClassExpressionVisitor

public class ExistentialCollector
extends OWLClassExpressionVisitorAdapter

A visitor that collects existential restrictions. If the given expression is an intersection, then the visitor will recurse and visit the operands. Otherwise, if it's an existential restriction, the visitor will add the restriction to the collection.

The visitor returns a map of properties to collections of fillers using that property.

Author: Sean Bechhofer
The University Of Manchester
Information Management Group
Date: 24-April-2007


Constructor Summary
ExistentialCollector(java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLClassExpression>> restrictions)
           
 
Method Summary
 void visit(OWLObjectIntersectionOf expression)
           
 void visit(OWLObjectSomeValuesFrom classExpression)
           
 
Methods inherited from class org.semanticweb.owlapi.util.OWLClassExpressionVisitorAdapter
visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ExistentialCollector

public ExistentialCollector(java.util.Map<OWLObjectPropertyExpression,java.util.Set<OWLClassExpression>> restrictions)
Method Detail

visit

public void visit(OWLObjectIntersectionOf expression)
Specified by:
visit in interface OWLClassExpressionVisitor
Overrides:
visit in class OWLClassExpressionVisitorAdapter

visit

public void visit(OWLObjectSomeValuesFrom classExpression)
Specified by:
visit in interface OWLClassExpressionVisitor
Overrides:
visit in class OWLClassExpressionVisitorAdapter