Examples of OWLObjectPropertyManager

org.semanticweb.owl.util.OWLObjectPropertyManager
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 25-Feb-2008
org.semanticweb.owlapi.util.OWLObjectPropertyManager
@author Matthew Horridge, The University Of Manchester, Bio-HealthInformatics Group @since 2.2.0

Examples of org.semanticweb.owl.util.OWLObjectPropertyManager

        return "OWL DL";
    }




    public OWLProfileReport checkOntology(OWLOntology ontology, OWLOntologyManager manager) {
        propertyManager = new OWLObjectPropertyManager(manager, ontology);


        Set<ConstructNotAllowed> notAllowed = new HashSet<ConstructNotAllowed>();
        AxiomChecker checker = new AxiomChecker();
        for (OWLOntology ont : manager.getImportsClosure(ontology)) {
            for (OWLAxiom ax : ont.getAxioms()) {

View Full Code Here

Examples of org.semanticweb.owlapi.util.OWLObjectPropertyManager

            return new HashSet<>(profileViolations);
        }


        private OWLObjectPropertyManager getPropertyManager() {
            if (propertyManager == null) {
                propertyManager = new OWLObjectPropertyManager(man,
                        getCurrentOntology());
            }
            return propertyManager;
        }

View Full Code Here

Examples of org.semanticweb.owlapi.util.OWLObjectPropertyManager

            return new HashSet<>(profileViolations);
        }


        private OWLObjectPropertyManager getPropertyManager() {
            if (objectPropertyManager == null) {
                objectPropertyManager = new OWLObjectPropertyManager(manager,
                        getCurrentOntology());
            }
            return objectPropertyManager;
        }

View Full Code Here

Examples of org.semanticweb.owlapi.util.OWLObjectPropertyManager

        RawObjectPropertyHierarchyProvider() {
            rebuild();
        }


        public final void rebuild() {
            propertyManager = new OWLObjectPropertyManager(getRootOntology()
                    .getOWLOntologyManager(), getRootOntology());
            sub2Super = propertyManager.getPropertyHierarchy();
            super2Sub = new HashMap<>();
            for (OWLObjectPropertyExpression sub : sub2Super.keySet()) {
                for (OWLObjectPropertyExpression superProp : sub2Super.get(sub)) {

View Full Code Here

Examples of org.semanticweb.owlapi.util.OWLObjectPropertyManager

                        uncle);
        @SuppressWarnings("null")
        OWLSubPropertyChainOfAxiom brokenAxiom2 = df
                .getOWLSubPropertyChainOfAxiom(Arrays.asList(child, uncle),
                        brother);
        OWLObjectPropertyManager manager = new OWLObjectPropertyManager(
                o.getOWLOntologyManager(), o);
        o.getOWLOntologyManager().addAxiom(o, brokenAxiom1);
        o.getOWLOntologyManager().addAxiom(o, brokenAxiom2);
        assertTrue(manager.isLessThan(brother, uncle));
        assertTrue(manager.isLessThan(uncle, brother));
        assertTrue(manager.isLessThan(brother, brother));
        assertTrue(manager.isLessThan(uncle, uncle));
        OWL2DLProfile profile = new OWL2DLProfile();
        List<OWLProfileViolation> violations = profile.checkOntology(o)
                .getViolations();
        assertFalse(violations.isEmpty());
        for (OWLProfileViolation v : violations) {

View Full Code Here

Examples of org.semanticweb.owlapi.util.OWLObjectPropertyManager

        o.getOWLOntologyManager().addAxiom(o, df.getOWLDeclarationAxiom(child));
        o.getOWLOntologyManager().addAxiom(o, df.getOWLDeclarationAxiom(uncle));
        OWLSubPropertyChainOfAxiom brokenAxiom1 = df
                .getOWLSubPropertyChainOfAxiom(
                        CollectionFactory.list(father, brother), uncle);
        OWLObjectPropertyManager manager = new OWLObjectPropertyManager(
                o.getOWLOntologyManager(), o);
        o.getOWLOntologyManager().addAxiom(o, brokenAxiom1);
        assertTrue(manager.isLessThan(brother, uncle));
        OWL2DLProfile profile = new OWL2DLProfile();
        List<OWLProfileViolation> violations = profile.checkOntology(o)
                .getViolations();
        assertTrue(violations.isEmpty());
        for (OWLProfileViolation v : violations) {

View Full Code Here

Examples of org.semanticweb.owlapi.util.OWLObjectPropertyManager

        private RawObjectPropertyHierarchyProvider() {
            rebuild();
        }


        public void rebuild() {
            propertyManager = new OWLObjectPropertyManager(getRootOntology().getOWLOntologyManager(), getRootOntology());
            sub2Super = propertyManager.getPropertyHierarchy();
            super2Sub = new HashMap<OWLObjectPropertyExpression, Set<OWLObjectPropertyExpression>>();
            for(OWLObjectPropertyExpression sub : sub2Super.keySet()) {
                for(OWLObjectPropertyExpression superProp : sub2Super.get(sub)) {
                    Set<OWLObjectPropertyExpression> subs = super2Sub.get(superProp);

View Full Code Here

Examples of org.semanticweb.owlapi.util.OWLObjectPropertyManager

            return new HashSet<OWLProfileViolation>(profileViolations);
        }


        private OWLObjectPropertyManager getPropertyManager() {
            if (propertyManager == null) {
                propertyManager = new OWLObjectPropertyManager(man, getCurrentOntology());
            }
            return propertyManager;
        }

View Full Code Here

Examples of org.semanticweb.owlapi.util.OWLObjectPropertyManager

            return new HashSet<OWLProfileViolation>(profileViolations);
        }


        private OWLObjectPropertyManager getPropertyManager() {
            if (objectPropertyManager == null) {
                objectPropertyManager = new OWLObjectPropertyManager(manager, getCurrentOntology());
            }
            return objectPropertyManager;
        }

View Full Code Here

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.