Ejemplos de OWLDataPropertyDomainAxiom.getProperty en Java

Ejemplo n.º 1

Archivo: DLExpressivityChecker.java Proyecto: Orphanet/java_ORDO

 @Override
 public void visit(OWLDataPropertyDomainAxiom axiom) {
   axiom.getDomain().accept(this);
   constructs.add(AL);
   constructs.add(D);
   axiom.getProperty().accept(this);
 }

Ejemplo n.º 2

Archivo: OWLObjectDuplicator.java Proyecto: 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));
 }

Ejemplo n.º 3

Archivo: LatexObjectVisitor.java Proyecto: JPuritscher/owlapi

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

Ejemplo n.º 4

Archivo: SatisfiabilityConverter.java Proyecto: JPuritscher/owlapi

 @Override
 public void visit(OWLDataPropertyDomainAxiom axiom) {
   OWLClassExpression sub =
       factory.getOWLDataSomeValuesFrom(axiom.getProperty(), factory.getTopDatatype());
   result = and(sub, not(axiom.getDomain()));
 }

Ejemplo n.º 5

Archivo: OWLObjectComponentCollector.java Proyecto: JPuritscher/owlapi

 @Override
 public void visit(OWLDataPropertyDomainAxiom axiom) {
   handleObject(axiom);
   axiom.getProperty().accept(this);
 }

Ejemplo n.º 6

Archivo: OWLAnonymousIndividualsWithMultipleOccurrences.java Proyecto: Orphanet/java_ORDO

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