Examples of org.semanticweb.owl.model.OWLDeclarationAxiom

org.semanticweb.owl.model.OWLDeclarationAxiom
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006 A declaration axiom declares an entity in an ontology. It doesn't affect the logical meaning of the ontology. Such axioms are necessary for adding labels etc. to classes, properties and individuals. Declaration axioms can also be used for structural consistency checking, for example some tools may enforce that all entities in the ontology must be declared.

            OWLAxiom a = j.next();
            referenced = a.isLogicalAxiom() || (a instanceof OWLDeclarationAxiom);
          }
        }
        if( !referenced ) {
          OWLDeclarationAxiom declaration = getOntologyManager().getOWLDataFactory().getOWLDeclarationAxiom( e );
          temporaryDeclarations.add( declaration );
        }
      }
      for( OWLDeclarationAxiom decl : temporaryDeclarations ) {
        OntologyUtils.addAxiom( decl, getReasoner().getLoadedOntologies(),

View Full Code Here

      manager.applyChanges( changes ); 


      changes = new ArrayList<OWLOntologyChange>();
      for( OWLEntity entity : referencedEntities ) {
        if( !ontology.containsEntityReference( entity ) ) {
          OWLDeclarationAxiom declaration = manager.getOWLDataFactory()
              .getOWLDeclarationAxiom( entity );
          changes.add( new AddAxiom( ontology, declaration ) );
        }
      }

View Full Code Here

TOP

Related Classes of org.semanticweb.owl.model.OWLDeclarationAxiom

com.clarkparsia.explanation.HSTExplanationGenerator

com.clarkparsia.owlapi.OntologyUtils

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.