Examples of 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
org.semanticweb.owlapi.model.OWLAxiom
3.org/TR/owl2-syntax/#Axioms">Axioms in the OWL 2 Specification.
An OWL ontology contains a set of axioms. These axioms can be annotation axioms, declaration axioms, imports axioms or logical axioms @author Matthew Horridge, The University Of Manchester, Bio-HealthInformatics Group @since 2.0.0

Examples of org.semanticweb.owlapi.model.OWLAxiom

        OWLAnnotation commentAnno = df.getOWLAnnotation(df.getRDFSComment(),
                df.getOWLLiteral("A class which represents pizzas", "en"));
        // Specify that the pizza class has an annotation - to do this we attach
        // an entity annotation using an entity annotation axiom (remember,
        // classes are entities)
        OWLAxiom ax = df.getOWLAnnotationAssertionAxiom(pizzaCls.getIRI(),
                commentAnno);
        // Add the axiom to the ontology
        man.applyChange(new AddAxiom(ont, ax));
        // Now lets add a version info annotation to the ontology. There is no
        // 'standard' OWL 1.1 annotation object for this, like there is for

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLAxiom

    @Test
    public void testTransitive() {
        OWLOntology ont = getOWLOntology("Ont");
        OWLObjectProperty prop = ObjectProperty(iri("prop"));
        assertFalse(isTransitive(prop, ont));
        OWLAxiom ax = TransitiveObjectProperty(prop);
        m.addAxiom(ont, ax);
        assertTrue(isTransitive(prop, ont));
    }

View Full Code Here

0 1 2 3 4 5

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.