Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLClassAssertionAxiom

446
447
448
449
450
451
452
453
454
455
            return node!=m_atomicConceptHierarchy.getBottomNode();
        }
        else {
            OWLDataFactory factory=getDataFactory();
            OWLIndividual freshIndividual=factory.getOWLAnonymousIndividual("fresh-individual");
            OWLClassAssertionAxiom assertClassExpression=factory.getOWLClassAssertionAxiom(classExpression,freshIndividual);
            Tableau tableau=getTableau(assertClassExpression);
            return tableau.isSatisfiable(true,null,null,null,null,null,ReasoningTaskDescription.isConceptSatisfiable(classExpression));
        }
    }
View Full Code Here
473
474
475
476
477
478
479
480
481
482
483
            }
        }
        else {
            OWLDataFactory factory=getDataFactory();
            OWLIndividual freshIndividual=factory.getOWLAnonymousIndividual("fresh-individual");
            OWLClassAssertionAxiom assertSubClassExpression=factory.getOWLClassAssertionAxiom(subClassExpression,freshIndividual);
            OWLClassAssertionAxiom assertNotSuperClassExpression=factory.getOWLClassAssertionAxiom(superClassExpression.getObjectComplementOf(),freshIndividual);
            Tableau tableau=getTableau(assertSubClassExpression,assertNotSuperClassExpression);
            return !tableau.isSatisfiable(true,null,null,null,null,null,ReasoningTaskDescription.isConceptSubsumedBy(subClassExpression,superClassExpression));
        }
    }
View Full Code Here
119
120
121
122
123
124
125
126
127
128
129
130
        OWLDeclarationAxiom daxiomop = factory.getOWLDeclarationAxiom(op); // obj prop
        OWLDeclarationAxiom daxiomdp = factory.getOWLDeclarationAxiom(dp); // data prop
        OWLDeclarationAxiom daxiomsub = factory.getOWLDeclarationAxiom(sub); // subject
        OWLDeclarationAxiom daxiomobj = factory.getOWLDeclarationAxiom(obj); // object

        OWLClassAssertionAxiom axiomsub = factory.getOWLClassAssertionAxiom(cls, sub); // Istanza
        OWLClassAssertionAxiom axiomobj = factory.getOWLClassAssertionAxiom(cls, obj); // Istanza
        OWLObjectPropertyAssertionAxiom axiomop = factory.getOWLObjectPropertyAssertionAxiom(op, sub, obj); // Obj
                                                                                                            // prop
                                                                                                            // tra
                                                                                                            // individui
        OWLDataPropertyAssertionAxiom axiomvalue = factory
View Full Code Here
549
550
551
552
553
554
555
556
557
558
559
560
        OWLDeclarationAxiom daxiomop = factory.getOWLDeclarationAxiom(op); // obj prop
        OWLDeclarationAxiom daxiomdp = factory.getOWLDeclarationAxiom(dp); // data prop
        OWLDeclarationAxiom daxiomsub = factory.getOWLDeclarationAxiom(sub); // subject
        OWLDeclarationAxiom daxiomobj = factory.getOWLDeclarationAxiom(obj); // object

        OWLClassAssertionAxiom axiomsub = factory.getOWLClassAssertionAxiom(cls, sub); // Istanza
        OWLClassAssertionAxiom axiomobj = factory.getOWLClassAssertionAxiom(cls, obj); // Istanza
        OWLObjectPropertyAssertionAxiom axiomop = factory.getOWLObjectPropertyAssertionAxiom(op, sub, obj); // Obj
                                                                                                            // prop
                                                                                                            // tra
                                                                                                            // individui
        OWLDataPropertyAssertionAxiom axiomvalue = factory
View Full Code Here
100
101
102
103
104
105
106
107
108
109
  public boolean equals(Object obj) {
        if (super.equals(obj)) {
            if (!(obj instanceof OWLClassAssertionAxiom)) {
                return false;
            }
            OWLClassAssertionAxiom other = (OWLClassAssertionAxiom) obj;
            return other.getIndividual().equals(individual) && other.getClassExpression().equals(classExpression);
        }
        return false;
    }
View Full Code Here
133
134
135
136
137
138
139
140
141
142
143
144
145
146
        return AxiomType.CLASS_ASSERTION;
    }

    @Override
  protected int compareObjectOfSameType(OWLObject object) {
        OWLClassAssertionAxiom otherAx = (OWLClassAssertionAxiom) object;
        int diff = getIndividual().compareTo(otherAx.getIndividual());
        if (diff != 0) {
            return diff;
        }
        else {
            return getClassExpression().compareTo(otherAx.getClassExpression());
        }
    }
View Full Code Here
246
247
248
249
250
251
252
253
254
255
256
   
    OWLOntology ontology = manager.getOntology(currentOntologyID);
    String base = ontology.getOntologyID().getOntologyIRI().getNamespace(); //this returns the prefix for the given class
    OWLDataFactory dataFactory = manager.getOWLDataFactory();
    // Now create a ClassAssertion to specify that name is an instance of cls
    OWLClassAssertionAxiom classAssertion = dataFactory.getOWLClassAssertionAxiom(cls, name);
    // We need to add the class assertion to the ontology that we want
    // specify that :Mary is a :Person
    ontology = manager.createOntology(IRI.create(base));
    // Add the class assertion
    manager.addAxiom(ontology, classAssertion);
View Full Code Here
275
276
277
278
279
280
281
282
283
284
285
   
    OWLOntology ontology = manager.getOntology(currentOntologyID);
    String base = ontology.getOntologyID().getOntologyIRI().getNamespace(); //this returns the prefix for the given class
    OWLDataFactory dataFactory = manager.getOWLDataFactory();
    // Now create a ClassAssertion to specify that name is an instance of cls
    OWLClassAssertionAxiom classAssertion = dataFactory.getOWLClassAssertionAxiom(cls, name);
    // We need to add the class assertion to the ontology that we want
    // specify that :Mary is a :Person
    ontology = manager.createOntology(IRI.create(base));
    // Add the class assertion
    manager.addAxiom(ontology, classAssertion);
View Full Code Here
255
256
257
258
259
260
261
262
263
264
265
   
    OWLOntology ontology = manager.getOntology(currentOntologyID);
    String base = ontology.getOntologyID().getOntologyIRI().getNamespace(); //this returns the prefix for the given class
    OWLDataFactory dataFactory = manager.getOWLDataFactory();
    // Now create a ClassAssertion to specify that name is an instance of cls
    OWLClassAssertionAxiom classAssertion = dataFactory.getOWLClassAssertionAxiom(cls, name);
    // We need to add the class assertion to the ontology that we want
    // specify that :Mary is a :Person
    ontology = manager.createOntology(IRI.create(base));
    // Add the class assertion
    manager.addAxiom(ontology, classAssertion);
View Full Code Here
100
101
102
103
104
105
106
107
    public Set<Set<OWLAxiom>> getInconsistencyExplanations(int maxExplanations) {
      return getUnsatisfiableExplanations( factory.getOWLThing(), maxExplanations );
    }
   
    public Set<OWLAxiom> getInstanceExplanation(OWLIndividual ind, OWLClassExpression cls) {
      OWLClassAssertionAxiom classAssertion = factory.getOWLClassAssertionAxiom( cls, ind );
      return getEntailmentExplanation( classAssertion );
    }
View Full Code Here
TOP

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

  • com.clarkparsia.owlapi.explanation.PelletExplanation
  • org.apache.stanbol.commons.owl.transformation.ConversionTester
  • org.apache.stanbol.rules.manager.changes.AddRecipe
  • org.apache.stanbol.rules.manager.changes.AddRule
  • org.apache.stanbol.rules.manager.changes.RuleStoreImpl
  • org.apache.stanbol.rules.manager.LoadRuleFileTest
  • org.semanticweb.HermiT.EntailmentChecker
  • org.semanticweb.HermiT.Reasoner
  • org.semanticweb.owlapi.api.test.ontology.OWLOntologyAccessorsTestCase
  • org.semanticweb.owlapi.examples.Examples
    • 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.