Examples of OWLClassAssertionAxiom

org.semanticweb.owl.model.OWLClassAssertionAxiom
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
org.semanticweb.owlapi.model.OWLClassAssertionAxiom
3.org/TR/owl2-syntax/#Class_Assertions">ClassAssertion axioms in the OWL 2 Specification. @author Matthew Horridge, The University Of Manchester, Bio-HealthInformatics Group @since 2.0.0

Examples of org.semanticweb.owlapi.model.OWLClassAssertionAxiom

            OWLDatatype dt=axiom.getDatatype();
            OWLDataIntersectionOf dr1=factory.getOWLDataIntersectionOf(factory.getOWLDataComplementOf(dataRange),dt);
            OWLDataIntersectionOf dr2=factory.getOWLDataIntersectionOf(factory.getOWLDataComplementOf(dt),dataRange);
            OWLDataUnionOf union=factory.getOWLDataUnionOf(dr1,dr2);
            OWLClassExpression c=factory.getOWLDataSomeValuesFrom(freshDataProperty,union);
            OWLClassAssertionAxiom ax=factory.getOWLClassAssertionAxiom(c,freshIndividual);
            Tableau tableau=reasoner.getTableau(ax);
            return !tableau.isSatisfiable(true,true,null,null,null,null,null,ReasoningTaskDescription.isAxiomEntailed(axiom));
        }
        else
            return false;

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLClassAssertionAxiom

            return node!=m_atomicConceptHierarchy.getBottomNode();
        }
        else {
            OWLDataFactory factory=getDataFactory();
            OWLIndividual freshIndividual=factory.getOWLAnonymousIndividual("fresh-individual");
            OWLClassAssertionAxiom assertClassExpression=factory.getOWLClassAssertionAxiom(classExpression,freshIndividual);
            Tableau tableau=getTableau(assertClassExpression);
            return tableau.isSatisfiable(true,null,null,null,null,null,ReasoningTaskDescription.isConceptSatisfiable(classExpression));
        }
    }

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLClassAssertionAxiom

            }
        }
        else {
            OWLDataFactory factory=getDataFactory();
            OWLIndividual freshIndividual=factory.getOWLAnonymousIndividual("fresh-individual");
            OWLClassAssertionAxiom assertSubClassExpression=factory.getOWLClassAssertionAxiom(subClassExpression,freshIndividual);
            OWLClassAssertionAxiom assertNotSuperClassExpression=factory.getOWLClassAssertionAxiom(superClassExpression.getObjectComplementOf(),freshIndividual);
            Tableau tableau=getTableau(assertSubClassExpression,assertNotSuperClassExpression);
            return !tableau.isSatisfiable(true,null,null,null,null,null,ReasoningTaskDescription.isConceptSubsumedBy(subClassExpression,superClassExpression));
        }
    }

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLClassAssertionAxiom

        OWLDeclarationAxiom daxiomop = factory.getOWLDeclarationAxiom(op); // obj prop
        OWLDeclarationAxiom daxiomdp = factory.getOWLDeclarationAxiom(dp); // data prop
        OWLDeclarationAxiom daxiomsub = factory.getOWLDeclarationAxiom(sub); // subject
        OWLDeclarationAxiom daxiomobj = factory.getOWLDeclarationAxiom(obj); // object


        OWLClassAssertionAxiom axiomsub = factory.getOWLClassAssertionAxiom(cls, sub); // Istanza
        OWLClassAssertionAxiom axiomobj = factory.getOWLClassAssertionAxiom(cls, obj); // Istanza
        OWLObjectPropertyAssertionAxiom axiomop = factory.getOWLObjectPropertyAssertionAxiom(op, sub, obj); // Obj
                                                                                                            // prop
                                                                                                            // tra
                                                                                                            // individui
        OWLDataPropertyAssertionAxiom axiomvalue = factory

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLClassAssertionAxiom

        OWLDeclarationAxiom daxiomop = factory.getOWLDeclarationAxiom(op); // obj prop
        OWLDeclarationAxiom daxiomdp = factory.getOWLDeclarationAxiom(dp); // data prop
        OWLDeclarationAxiom daxiomsub = factory.getOWLDeclarationAxiom(sub); // subject
        OWLDeclarationAxiom daxiomobj = factory.getOWLDeclarationAxiom(obj); // object


        OWLClassAssertionAxiom axiomsub = factory.getOWLClassAssertionAxiom(cls, sub); // Istanza
        OWLClassAssertionAxiom axiomobj = factory.getOWLClassAssertionAxiom(cls, obj); // Istanza
        OWLObjectPropertyAssertionAxiom axiomop = factory.getOWLObjectPropertyAssertionAxiom(op, sub, obj); // Obj
                                                                                                            // prop
                                                                                                            // tra
                                                                                                            // individui
        OWLDataPropertyAssertionAxiom axiomvalue = factory

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLClassAssertionAxiom

  public boolean equals(Object obj) {
        if (super.equals(obj)) {
            if (!(obj instanceof OWLClassAssertionAxiom)) {
                return false;
            }
            OWLClassAssertionAxiom other = (OWLClassAssertionAxiom) obj;
            return other.getIndividual().equals(individual) && other.getClassExpression().equals(classExpression);
        }
        return false;
    }

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLClassAssertionAxiom

        return AxiomType.CLASS_ASSERTION;
    }


    @Override
  protected int compareObjectOfSameType(OWLObject object) {
        OWLClassAssertionAxiom otherAx = (OWLClassAssertionAxiom) object;
        int diff = getIndividual().compareTo(otherAx.getIndividual());
        if (diff != 0) {
            return diff;
        }
        else {
            return getClassExpression().compareTo(otherAx.getClassExpression());
        }
    }

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLClassAssertionAxiom

    
    OWLOntology ontology = manager.getOntology(currentOntologyID);
    String base = ontology.getOntologyID().getOntologyIRI().getNamespace(); //this returns the prefix for the given class
    OWLDataFactory dataFactory = manager.getOWLDataFactory();
    // Now create a ClassAssertion to specify that name is an instance of cls
    OWLClassAssertionAxiom classAssertion = dataFactory.getOWLClassAssertionAxiom(cls, name);
    // We need to add the class assertion to the ontology that we want
    // specify that :Mary is a :Person
    ontology = manager.createOntology(IRI.create(base));
    // Add the class assertion
    manager.addAxiom(ontology, classAssertion);

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLClassAssertionAxiom

    
    OWLOntology ontology = manager.getOntology(currentOntologyID);
    String base = ontology.getOntologyID().getOntologyIRI().getNamespace(); //this returns the prefix for the given class
    OWLDataFactory dataFactory = manager.getOWLDataFactory();
    // Now create a ClassAssertion to specify that name is an instance of cls
    OWLClassAssertionAxiom classAssertion = dataFactory.getOWLClassAssertionAxiom(cls, name);
    // We need to add the class assertion to the ontology that we want
    // specify that :Mary is a :Person
    ontology = manager.createOntology(IRI.create(base));
    // Add the class assertion
    manager.addAxiom(ontology, classAssertion);

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLClassAssertionAxiom

    
    OWLOntology ontology = manager.getOntology(currentOntologyID);
    String base = ontology.getOntologyID().getOntologyIRI().getNamespace(); //this returns the prefix for the given class
    OWLDataFactory dataFactory = manager.getOWLDataFactory();
    // Now create a ClassAssertion to specify that name is an instance of cls
    OWLClassAssertionAxiom classAssertion = dataFactory.getOWLClassAssertionAxiom(cls, name);
    // We need to add the class assertion to the ontology that we want
    // specify that :Mary is a :Person
    ontology = manager.createOntology(IRI.create(base));
    // Add the class assertion
    manager.addAxiom(ontology, classAssertion);

View Full Code Here

0 1 2 3

TOP

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.