Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLClass

265
266
267
268
269
270
271
272
273
274
275
        }

        @Override
        public OWLClassExpression visit(OWLObjectMinCardinality ce) {
            if (signature.containsAll(ce.getFiller().getSignature())) {
                OWLClass name = createNewName();
                axioms.add(getSCA(name, ce.getFiller().accept(this)));
                return ldf.getOWLObjectMinCardinality(ce.getCardinality(),
                        ce.getProperty(), name);
            } else {
                return ce;
View Full Code Here
291
292
293
294
295
296
297
298
299
300
301
        }

        @Override
        public OWLClassExpression visit(OWLObjectSomeValuesFrom ce) {
            if (ce.getFiller().isAnonymous()) {
                OWLClass name = createNewName();
                axioms.add(getSCA(name, ce.getFiller().accept(this)));
                return ldf.getOWLObjectSomeValuesFrom(ce.getProperty(), name);
            } else {
                return ce;
            }
View Full Code Here
306
307
308
309
310
311
312
313
314
315
316
            Set<OWLClassExpression> descs = new HashSet<>();
            for (OWLClassExpression op : ce.getOperands()) {
                OWLClassExpression flatOp = op.accept(this);
                if (flatOp.isAnonymous()
                        || signature.contains(flatOp.asOWLClass())) {
                    OWLClass name = createNewName();
                    descs.add(name);
                    axioms.add(ldf.getOWLSubClassOfAxiom(name, flatOp));
                } else {
                    descs.add(flatOp);
                }
View Full Code Here
38
39
40
41
42
43
44
45
46
47
48
49
50
    protected Set<? extends OWLAxiom> createAxioms() {
        XMLWriterPreferences.getInstance().setUseNamespaceEntities(true);
        IRI iriA = IRI("http://owlapi.sourceforge.net/properties#propA");
        IRI iriB = IRI("http://owlapi.sourceforge.net/properties2#propB");
        Set<OWLAxiom> axioms = new HashSet<>();
        OWLClass clsA = Class(iri("A"));
        OWLAnnotationProperty propA = AnnotationProperty(iriA);
        OWLAnnotationProperty propB = AnnotationProperty(iriB);
        axioms.add(Declaration(clsA));
        axioms.add(AnnotationAssertion(propA, clsA.getIRI(), Literal("value1")));
        axioms.add(AnnotationAssertion(propB, clsA.getIRI(), Literal("value2")));
        return axioms;
    }
View Full Code Here
36
37
38
39
40
41
42
43
44
45
46
        AbstractFileRoundTrippingTestCase {

    @Test
    public void testCorrectAxioms() {
        Set<OWLAxiom> axioms = new HashSet<>();
        OWLClass clsA = Class(iri("A"));
        OWLObjectProperty prop = ObjectProperty(iri("p"));
        axioms.add(Declaration(prop));
        axioms.add(SubClassOf(clsA, ObjectMinCardinality(3, prop, OWLThing())));
        assertEquals(getOnt().getAxioms(), axioms);
    }
View Full Code Here
39
40
41
42
43
44
45
46
47
48
49
50
51
52
    @Nonnull
    @Override
    protected Set<? extends OWLAxiom> createAxioms() {
        OWLLiteral literalWithLang = Literal("abc", "en");
        OWLClass cls = Class(iri("A"));
        OWLAnnotationProperty prop = AnnotationProperty(iri("prop"));
        OWLAnnotationAssertionAxiom ax = AnnotationAssertion(prop,
                cls.getIRI(), literalWithLang);
        Set<OWLAxiom> axioms = new HashSet<>();
        axioms.add(ax);
        axioms.add(Declaration(cls));
        return axioms;
    }
View Full Code Here
36
37
38
39
40
41
42
43
44
45
46
47
        AbstractFileRoundTrippingTestCase {

    @Test
    public void testCorrectAxioms() {
        Set<OWLAxiom> axioms = new HashSet<>();
        OWLClass clsA = Class(iri("A"));
        OWLClass clsB = Class(iri("B"));
        OWLObjectProperty propP = ObjectProperty(iri("p"));
        axioms.add(SubClassOf(clsA, ObjectSomeValuesFrom(propP, clsB)));
        axioms.add(Declaration(clsB));
        axioms.add(Declaration(propP));
        assertEquals(getOnt().getAxioms(), axioms);
View Full Code Here
35
36
37
38
39
40
41
42
43
44
45
public class ObjectHasSelfTestCase extends AbstractFileRoundTrippingTestCase {

    @Test
    public void testCorrectAxioms() {
        Set<OWLAxiom> axioms = new HashSet<>();
        OWLClass clsA = Class(iri("A"));
        OWLObjectProperty propP = ObjectProperty(iri("p"));
        axioms.add(SubClassOf(clsA, ObjectHasSelf(propP)));
        axioms.add(Declaration(propP));
        assertEquals(getOnt().getAxioms(), axioms);
    }
View Full Code Here
36
37
38
39
40
41
42
43
44
45
46
47
        AbstractFileRoundTrippingTestCase {

    @Test
    public void testCorrectAxioms() {
        Set<OWLAxiom> axioms = new HashSet<>();
        OWLClass clsA = Class(iri("A"));
        OWLClass clsB = Class(iri("B"));
        OWLObjectProperty prop = ObjectProperty(iri("p"));
        axioms.add(Declaration(prop));
        axioms.add(SubClassOf(clsA, ObjectMinCardinality(3, prop, clsB)));
        assertEquals(getOnt().getAxioms(), axioms);
    }
View Full Code Here
36
37
38
39
40
41
42
43
44
45
46
47
        AbstractFileRoundTrippingTestCase {

    @Test
    public void testCorrectAxioms() {
        Set<OWLAxiom> axioms = new HashSet<>();
        OWLClass clsA = Class(iri("A"));
        OWLClass clsB = Class(iri("B"));
        OWLObjectProperty propP = ObjectProperty(iri("p"));
        axioms.add(SubClassOf(clsA, ObjectAllValuesFrom(propP, clsB)));
        axioms.add(Declaration(clsB));
        axioms.add(Declaration(propP));
        assertEquals(getOnt().getAxioms(), axioms);
View Full Code Here
TOP

Related Classes of org.semanticweb.owlapi.model.OWLClass

  • com.clarkparsia.explanation.test.AbstractExplanationTest
  • com.clarkparsia.explanation.test.MiscExplanationTests
  • com.clarkparsia.modularity.AbstractModuleExtractor
  • com.clarkparsia.modularity.IncrementalClassifier
  • com.clarkparsia.modularity.IncrementalClassifier$DisjointClassComparator
  • com.clarkparsia.modularity.io.TaxonomyPersistence
  • com.clarkparsia.owlapi.explanation.GlassBoxExplanation
  • com.clarkparsia.pellet.test.owlapi.OWLAPIv3Tests
  • com.clarkparsia.pellint.format.SimpleLintFormat
  • com.clarkparsia.pellint.lintpattern.axiom.EquivalentToAllValuePattern
    • 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.