Exemplos de OWLDataPropertyDomainAxiom em Java

Exemplo n.º 1

Arquivo: OWLObjectDuplicator.java Projeto: rita-zgheib/owl-api

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

Exemplo n.º 2

Arquivo: LatexObjectVisitor.java Projeto: JPuritscher/owlapi

 @Override
 public void visit(OWLDataPropertyDomainAxiom axiom) {
   df.getOWLDataSomeValuesFrom(axiom.getProperty(), df.getTopDatatype()).accept(this);
   writeSpace();
   write(SUBCLASS);
   writeSpace();
   axiom.getDomain().accept(this);
 }

Exemplo n.º 3

Arquivo: NominalAxiomTranscriber.java Projeto: dfleischhacker/spart

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

Exemplo n.º 4

Arquivo: OWLObjectTypeIndexProvider.java Projeto: juyingnan/OpenOME

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

Exemplo n.º 5

Arquivo: OWLAnonymousIndividualsWithMultipleOccurrences.java Projeto: Orphanet/java_ORDO

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