Esempi in Java per OWLObjectPropertyDomainAxiom

Esempio n. 1

File: LatexObjectVisitor.java Progetto: JPuritscher/owlapi

 @Override
 public void visit(OWLObjectPropertyDomainAxiom axiom) {
   df.getOWLObjectSomeValuesFrom(axiom.getProperty(), df.getOWLThing()).accept(this);
   writeSpace();
   write(SUBCLASS);
   writeSpace();
   axiom.getDomain().accept(this);
 }

Esempio n. 2

File: OWLObjectDuplicator.java Progetto: rita-zgheib/owl-api

 @Override
 public void visit(OWLObjectPropertyDomainAxiom axiom) {
   axiom.getProperty().accept(this);
   OWLObjectPropertyExpression prop = (OWLObjectPropertyExpression) obj;
   axiom.getDomain().accept(this);
   OWLClassExpression domain = (OWLClassExpression) obj;
   obj =
       dataFactory.getOWLObjectPropertyDomainAxiom(prop, domain, duplicateAxiomAnnotations(axiom));
 }

Esempio n. 3

File: NominalAxiomTranscriber.java Progetto: dfleischhacker/spart

 public void rebuild(OWLObjectPropertyDomainAxiom axiom) {
   axiom.getDomain().accept(this);
   OWLDescription domainClass = this.getRelevantDescription();
   this.rebuiltAxioms.add(
       this.factory.getOWLObjectPropertyDomainAxiom(axiom.getProperty(), domainClass));
 }

Esempio n. 4

File: OWLObjectTypeIndexProvider.java Progetto: juyingnan/OpenOME

 public void visit(OWLObjectPropertyDomainAxiom axiom) {
   type = AXIOM_TYPE_INDEX_BASE + axiom.getAxiomType().getIndex();
 }

Esempio n. 5

File: OWLAnonymousIndividualsWithMultipleOccurrences.java Progetto: Orphanet/java_ORDO

 public void visit(OWLObjectPropertyDomainAxiom axiom) {
   axiom.getDomain().accept(this);
   axiom.getProperty().accept(this);
   processAxiomAnnotations(axiom);
 }