Examples of org.semanticweb.owl.model.OWLAxiom

org.semanticweb.owl.model.OWLAxiom
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006 An OWL ontology contains a set of axioms. These axioms can be annotation axioms, declaration axioms, imports axioms or logical axioms

   */
  public Set<OWLAxiom> convertAxioms(Set<ATermAppl> terms) throws OWLRuntimeException {
    Set<OWLAxiom> result = new HashSet<OWLAxiom>();


    for( ATermAppl term : terms ) {
      OWLAxiom axiom = converter.convert( term );
      if( axiom == null )
        throw new OWLRuntimeException( "Cannot convert: " + term );
      result.add( axiom );
    }

View Full Code Here

      if( !ontologies.contains( change.getOntology() ) )
        continue;


      change.accept( changeVisitor );
      if( visitor.isReloadRequired() ) {
        OWLAxiom axiom = change.getAxiom();
        if( axiom instanceof OWLClassAxiom )
          log.fine( "Removal failed for " + axiom );
        return false;
      }
    }

View Full Code Here

    this.factory = factory;
    this.conceptConverter = new ConceptConverter( kb, factory );
  }


  public OWLAxiom convert(ATermAppl term) {
    OWLAxiom axiom = null;


    if( term.getAFun().equals( ATermUtils.EQCLASSFUN ) ) {
      OWLDescription c1 = (OWLDescription) conceptConverter.convert( (ATermAppl) term
          .getArgument( 0 ) );
      OWLDescription c2 = (OWLDescription) conceptConverter.convert( (ATermAppl) term

View Full Code Here

0 1 2

TOP

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

com.clarkparsia.explanation.HSTExplanationGenerator

com.clarkparsia.explanation.util.DefinitionTracker

com.clarkparsia.pellet.test.owlapi.OWLAPITests

org.coode.obo.parser.AntiSymmetricHandler

org.coode.obo.parser.DisjointFromHandler

org.coode.obo.parser.InverseHandler

org.coode.obo.parser.PartOfTagValueHandler

org.coode.obo.parser.ReflexiveHandler

org.coode.obo.parser.SymmetricTagValueHandler

org.coode.obo.parser.TransitiveOverHandler

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.