Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLClassExpression

303
304
305
306
307
308
309
310
311
312
313
314
315
        @Override
        public OWLClassExpression visit(OWLObjectUnionOf ce) {
            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
80
81
82
83
84
85
86
87
88
89
90
        @Override
        public void visit(OWLClass ce) {
            List<OWLClassExpression> path = getClassExpressionPath();
            if (path.size() > 1) {
                OWLClassExpression prev = path.get(path.size() - 2);
                if (prev instanceof OWLObjectComplementOf) {
                    neg.add(ce);
                } else {
                    pos.add(ce);
                }
View Full Code Here
1525
1526
1527
1528
1529
1530
1531
1532
1533
1534
1535
            IRI fillerIRI = getConsumer().getResourceObject(mainNode,
                    OWL_ON_CLASS, true);
            if (fillerIRI != null
                    && !getConsumer().getConfiguration().isStrict()) {
                // Be tolerant
                OWLClassExpression filler = accessor
                        .translateClassExpression(fillerIRI);
                return getDataFactory().getOWLObjectMaxCardinality(cardi,
                        property, filler);
            } else {
                return getDataFactory().getOWLObjectMaxCardinality(cardi,
View Full Code Here
1578
1579
1580
1581
1582
1583
1584
1585
1586
1587
            OWLObjectPropertyExpression property = getConsumer()
                    .translateObjectPropertyExpression(propertyIRI);
            IRI fillerIRI = getConsumer().getResourceObject(mainNode,
                    OWL_ON_CLASS, true);
            assert fillerIRI != null;
            OWLClassExpression filler = accessor
                    .translateClassExpression(fillerIRI);
            return getDataFactory().getOWLObjectMaxCardinality(cardi, property,
                    filler);
        }
View Full Code Here
1626
1627
1628
1629
1630
1631
1632
1633
1634
1635
1636
            IRI fillerIRI = getConsumer().getResourceObject(mainNode,
                    OWL_ON_CLASS, true);
            if (fillerIRI != null
                    && !getConsumer().getConfiguration().isStrict()) {
                // Be tolerant
                OWLClassExpression filler = accessor
                        .translateClassExpression(fillerIRI);
                return getDataFactory().getOWLObjectMinCardinality(cardi,
                        property, filler);
            } else {
                return getDataFactory().getOWLObjectMinCardinality(cardi,
View Full Code Here
1674
1675
1676
1677
1678
1679
1680
1681
1682
1683
            OWLObjectPropertyExpression property = getConsumer()
                    .translateObjectPropertyExpression(propertyIRI);
            IRI fillerIRI = getConsumer().getResourceObject(mainNode,
                    OWL_ON_CLASS, true);
            assert fillerIRI != null;
            OWLClassExpression filler = accessor
                    .translateClassExpression(fillerIRI);
            return getDataFactory().getOWLObjectMinCardinality(cardi, property,
                    filler);
        }
View Full Code Here
33
34
35
36
37
38
39
40
41
42
43
    protected OWLOntology createOntology() {
        OWLOntology ont = getOWLOntology("OntA");
        OWLObjectProperty prop = ObjectProperty(iri("propP"));
        OWLClass clsA = Class(iri("A"));
        OWLClass clsB = Class(iri("B"));
        OWLClassExpression desc = ObjectSomeValuesFrom(prop,
                ObjectSomeValuesFrom(prop, clsB));
        OWLAxiom ax = SubClassOf(clsA, desc);
        addAxiom(ont, ax);
        addAxiom(ont, Declaration(clsA));
        addAxiom(ont, Declaration(clsB));
View Full Code Here
36
37
38
39
40
41
42
43
44
45
46
    @Nonnull
    @Override
    protected Set<? extends OWLAxiom> createAxioms() {
        OWLClass clsA = Class(iri("A"));
        OWLObjectProperty prop = ObjectProperty(iri("prop"));
        OWLClassExpression ce = ObjectSomeValuesFrom(prop.getInverseProperty(),
                clsA);
        Set<OWLAxiom> axioms = new HashSet<>();
        axioms.add(SubClassOf(Class(iri("B")), ce));
        return axioms;
    }
View Full Code Here
118
119
120
121
122
123
124
125
126
127
128
129
        if (ops.size() == 2) {
            return Collections.<OWLDisjointClassesAxiom> singleton(this);
        }
        Set<OWLDisjointClassesAxiom> result = new HashSet<>();
        for (int i = 0; i < ops.size() - 1; i++) {
            OWLClassExpression indI = ops.get(i);
            OWLClassExpression indJ = ops.get(i + 1);
            result.add(new OWLDisjointClassesAxiomImpl(new HashSet<>(Arrays
                    .asList(indI, indJ)), getAnnotations()));
        }
        return result;
    }
View Full Code Here
1787
1788
1789
1790
1791
1792
1793
1794
1795
1796
            OWLObjectPropertyExpression property = getConsumer()
                    .translateObjectPropertyExpression(propertyIRI);
            IRI fillerIRI = getConsumer().getResourceObject(mainNode,
                    OWL_ON_CLASS, true);
            assert fillerIRI != null;
            OWLClassExpression filler = accessor
                    .translateClassExpression(fillerIRI);
            return getDataFactory().getOWLObjectExactCardinality(cardi,
                    property, filler);
        }
View Full Code Here
TOP

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

  • au.csiro.ontology.importer.owl.OWLImporter
  • com.clarkparsia.explanation.test.ExplanationTester
  • com.clarkparsia.explanation.test.OWLAPIExplanationTest
  • com.clarkparsia.modularity.EntailmentChecker
  • com.clarkparsia.modularity.IncrementalClassifier$DisjointClassComparator
  • com.clarkparsia.modularity.io.TaxonomyPersistence
  • com.clarkparsia.owlapi.explanation.AxiomConverter
  • com.clarkparsia.owlapi.explanation.GlassBoxExplanation
  • com.clarkparsia.owlapi.explanation.PelletExplanation
  • com.clarkparsia.owlapi.explanation.SatisfiabilityConverter$AxiomConverter
    • 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.