Package org.semanticweb.owlapi.profiles

Examples of org.semanticweb.owlapi.profiles.OWL2RLProfile$OWL2RLObjectVisitor

1825
1826
1827
1828
1829
1830
1831
1832
1833
1834
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        OWLDataProperty dp = DataProperty(IRI("urn:test#test"));
        declare(o, DATAP, dp);
        m.addAxiom(o, EquivalentDataProperties(DATAP, dp));
        OWL2RLProfile profile = new OWL2RLProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfIllegalAxiom.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here
1841
1842
1843
1844
1845
1846
1847
1848
1849
1850
                    throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, DATAP);
        m.addAxiom(o, FunctionalDataProperty(DATAP));
        OWL2RLProfile profile = new OWL2RLProfile();
        int expected = 0;
        Class[] expectedViolations = {};
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here
1855
1856
1857
1858
1859
1860
1861
1862
1863
1864
            throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, CL, OP);
        m.addAxiom(o, HasKey(ObjectComplementOf(CL), OP));
        OWL2RLProfile profile = new OWL2RLProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfNonSubClassExpression.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here
1874
1875
1876
1877
1878
1879
1880
1881
1882
1883
        declare(o, OP, OP);
        m.addAxiom(
                o,
                ObjectPropertyDomain(OP,
                        ObjectMinCardinality(1, OP, OWLThing())));
        OWL2RLProfile profile = new OWL2RLProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfNonSuperClassExpression.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here
1892
1893
1894
1895
1896
1897
1898
1899
1900
1901
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, OP);
        m.addAxiom(
                o,
                ObjectPropertyRange(OP, ObjectMinCardinality(1, OP, OWLThing())));
        OWL2RLProfile profile = new OWL2RLProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfNonSuperClassExpression.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here
1908
1909
1910
1911
1912
1913
1914
1915
1916
1917
1918
        OWLOntologyManager m = o.getOWLOntologyManager();
        m.addAxiom(
                o,
                SubClassOf(ObjectComplementOf(OWLThing()),
                        ObjectOneOf(NamedIndividual(IRI("urn:test#test")))));
        OWL2RLProfile profile = new OWL2RLProfile();
        int expected = 2;
        Class[] expectedViolations = { UseOfNonSubClassExpression.class,
                UseOfNonSuperClassExpression.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here
1923
1924
1925
1926
1927
1928
1929
1930
1931
1932
            throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        m.addAxiom(o, DF.getSWRLRule(new HashSet<SWRLAtom>(),
                new HashSet<SWRLAtom>()));
        OWL2RLProfile profile = new OWL2RLProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfIllegalAxiom.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here
1937
1938
1939
1940
1941
1942
1943
1944
1945
1946
            throws Exception {
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, DATAP);
        m.addAxiom(o, DataPropertyRange(DATAP, DataComplementOf(Integer())));
        OWL2RLProfile profile = new OWL2RLProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfIllegalDataRange.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here
1954
1955
1956
1957
1958
1959
1960
1961
1962
1963
        declare(o, DATAP);
        m.addAxiom(
                o,
                DataPropertyRange(DATAP,
                        DataIntersectionOf(Integer(), Boolean())));
        OWL2RLProfile profile = new OWL2RLProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfIllegalDataRange.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here
1969
1970
1971
1972
1973
1974
1975
1976
1977
1978
        OWLOntology o = createOnto();
        OWLOntologyManager m = o.getOWLOntologyManager();
        declare(o, DATAP);
        m.addAxiom(o,
                DataPropertyRange(DATAP, DataOneOf(Literal(1), Literal(2))));
        OWL2RLProfile profile = new OWL2RLProfile();
        int expected = 1;
        Class[] expectedViolations = { UseOfIllegalDataRange.class };
        runAssert(o, profile, expected, expectedViolations);
    }
View Full Code Here
TOP

Related Classes of org.semanticweb.owlapi.profiles.OWL2RLProfile$OWL2RLObjectVisitor

  • org.semanticweb.owlapi.profiles.test.ForbiddenVocabularyTestCase
  • org.semanticweb.owlapi.profiles.test.OWLProfileTestCase
  • org.semanticweb.owlapi.profiles.test.ProfileBase
  • org.semanticweb.owlapi.profiles.test.ProfileValidationTestCase
  • org.semanticweb.owlapi.profiles.violations.UseOfIllegalAxiom
  • org.semanticweb.owlapi.profiles.violations.UseOfIllegalDataRange
  • org.semanticweb.owlapi.profiles.violations.UseOfNonEquivalentClassExpression
  • org.semanticweb.owlapi.profiles.violations.UseOfNonSubClassExpression
  • org.semanticweb.owlapi.profiles.violations.UseOfNonSuperClassExpression
  • org.semanticweb.owlapi.util.OWLOntologyWalker
    • Copyright © 2018 www.massapicom. All rights reserved.
    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.