Package org.semanticweb.owl.util

Examples of org.semanticweb.owl.util.OWLEntityCollector


     * @return <code>true</code> if the description references entities that
     *         the ontology that contains entailments which are being explained,
     *         otherwise <code>false</code>
     */
    public static boolean containsUnreferencedEntity(OWLOntology ontology, OWLDescription desc) {
        OWLEntityCollector entityCollector = new OWLEntityCollector();
        desc.accept(entityCollector);
        for (OWLEntity entity : entityCollector.getObjects()) {
            if (!ontology.containsEntityReference(entity)) {
                if (entity instanceof OWLClass && (((OWLClass) entity).isOWLThing() || ((OWLClass) entity).isOWLNothing())) {
                    continue;
                }
                return true;
View Full Code Here


  private static OWLEntityCollector collector; 
 
    public HSTExplanationGenerator(TransactionAwareSingleExpGen singleExplanationGenerator) {
        this.singleExplanationGenerator = singleExplanationGenerator;
       
        collector  = new OWLEntityCollector();
        collector.setCollectDataTypes( false );
    }
View Full Code Here

   * @return <code>true</code> if the description references entities that
   *         the ontology that contains entailments which are being explained,
   *         otherwise <code>false</code>
   */
  public static boolean containsUnreferencedEntity(OWLOntology ontology, OWLDescription desc) {
    OWLEntityCollector entityCollector = new OWLEntityCollector();
    desc.accept( entityCollector );
    for( OWLEntity entity : entityCollector.getObjects() ) {
      if( !ontology.containsEntityReference( entity ) ) {
        if( entity instanceof OWLClass
            && (((OWLClass) entity).isOWLThing() || ((OWLClass) entity).isOWLNothing()) ) {
          continue;
        }
View Full Code Here

TOP

Related Classes of org.semanticweb.owl.util.OWLEntityCollector

Copyright © 2018 www.massapicom. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.