当前位置: 首页>>代码示例>>Java>>正文


Java OWLEquivalentObjectPropertiesAxiom类代码示例

本文整理汇总了Java中org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom的典型用法代码示例。如果您正苦于以下问题:Java OWLEquivalentObjectPropertiesAxiom类的具体用法?Java OWLEquivalentObjectPropertiesAxiom怎么用?Java OWLEquivalentObjectPropertiesAxiom使用的例子?那么, 这里精选的类代码示例或许可以为您提供帮助。


OWLEquivalentObjectPropertiesAxiom类属于org.semanticweb.owlapi.model包,在下文中一共展示了OWLEquivalentObjectPropertiesAxiom类的15个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的Java代码示例。

示例1: visit

import org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom; //导入依赖的package包/类
@Override
public Set<ComplexIntegerAxiom> visit(OWLEquivalentObjectPropertiesAxiom axiom) throws TranslationException {
	Objects.requireNonNull(axiom);
	Set<OWLObjectPropertyExpression> propertySet = axiom.getProperties();
	Set<IntegerObjectPropertyExpression> propertyExprSet = new HashSet<>();
	propertySet.forEach(propertyExpr -> {
		if (propertyExpr instanceof OWLObjectProperty) {
			OWLObjectProperty property = asOWLObjectProperty(propertyExpr);
			propertyExprSet.add(getDataTypeFactory().createObjectProperty(translateObjectProperty(property)));
		} else {
			throw new IllegalStateException();
		}
	});
	ComplexIntegerAxiom ret = getAxiomFactory().createEquivalentObjectPropertiesAxiom(propertyExprSet,
			translateAnnotations(axiom.getAnnotations()));
	return Collections.singleton(ret);
}
 
开发者ID:julianmendez,项目名称:jcel,代码行数:18,代码来源:AxiomTranslator.java

示例2: visit

import org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom; //导入依赖的package包/类
@Override
public Void visit(OWLEquivalentObjectPropertiesAxiom axiom) {
  Set<OWLObjectPropertyExpression> properties = axiom.getProperties();
  boolean anonymousPropertyExists = false;
  for (OWLObjectPropertyExpression property : properties) {
    anonymousPropertyExists = anonymousPropertyExists || property.isAnonymous();
  }

  // #217 - in case of EquivalentObjectProperties(:p ObjectInverseOf(:q))
  if (!anonymousPropertyExists) {
    Collection<Long> nodes = Collections2.transform(axiom.getObjectPropertiesInSignature(),
        new Function<OWLObjectProperty, Long>() {

          @Override
          public Long apply(OWLObjectProperty objectProperty) {
            return getOrCreateNode(getIri(objectProperty));
          }
        });

    getOrCreateRelationshipPairwise(nodes, OwlRelationships.OWL_EQUIVALENT_OBJECT_PROPERTY);
  }
  return null;
}
 
开发者ID:SciGraph,项目名称:SciGraph,代码行数:24,代码来源:GraphOwlVisitor.java

示例3: visit

import org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom; //导入依赖的package包/类
public Boolean visit(OWLEquivalentObjectPropertiesAxiom axiom) {
    Set<OWLObjectPropertyExpression> props=axiom.getProperties();
    Iterator<OWLObjectPropertyExpression> it=props.iterator();
    if (it.hasNext()) {
        OWLObjectPropertyExpression objectPropertyExpression1=it.next();
        while (it.hasNext()) {
            OWLObjectPropertyExpression objectPropertyExpression2=it.next();
            if (!reasoner.isSubObjectPropertyExpressionOf(objectPropertyExpression1,objectPropertyExpression2) || !reasoner.isSubObjectPropertyExpressionOf(objectPropertyExpression2,objectPropertyExpression1))
                return Boolean.FALSE;
        }
    }
    return Boolean.TRUE;
}
 
开发者ID:robertoyus,项目名称:HermiT-android,代码行数:14,代码来源:EntailmentChecker.java

示例4: visit

import org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom; //导入依赖的package包/类
@Override
public OWLEquivalentObjectPropertiesAxiom visit(
		ElkEquivalentObjectPropertiesAxiom axiom) {
	return owlFactory_.getOWLEquivalentObjectPropertiesAxiom(
			toObjectPropertyExpressionSet(
					axiom.getObjectPropertyExpressions()));
}
 
开发者ID:liveontologies,项目名称:elk-reasoner,代码行数:8,代码来源:AbstractElkObjectConverter.java

示例5: visit

import org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom; //导入依赖的package包/类
@Override
public T visit(OWLEquivalentObjectPropertiesAxiom axiom) {
	throw new IllegalArgumentException(
			OWLEquivalentObjectPropertiesAxiom.class.getSimpleName()
					+ " cannot be converted to "
					+ getTargetClass().getSimpleName());
}
 
开发者ID:liveontologies,项目名称:elk-reasoner,代码行数:8,代码来源:AbstractOwlAxiomConverterVisitor.java

示例6: visit

import org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom; //导入依赖的package包/类
/**
 * A utility method to process OWL <code>InverseObjectProperties(OPE1 OPE2)</code> axiom and
 * produce inferred mapping assertions. The axiom states object property expression
 * <code>OPE1</code> is an inverse of the object property expression <code>OPE2</code>.
 */
@Override
public void visit(OWLInverseObjectPropertiesAxiom axiom)
{
   OWLObjectPropertyExpression ope1 = axiom.getFirstProperty();
   OWLObjectPropertyExpression ope2 = sOwlDataFactory.getOWLObjectInverseOf(axiom.getSecondProperty());
   OWLEquivalentObjectPropertiesAxiom ax = sOwlDataFactory.getOWLEquivalentObjectPropertiesAxiom(ope1, ope2);
   ax.accept(this);
   resetIsInverse(); // reset the isInverse = false.
}
 
开发者ID:obidea,项目名称:semantika,代码行数:15,代码来源:TMappingProcessor.java

示例7: visit

import org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom; //导入依赖的package包/类
@Override
public void visit(OWLEquivalentObjectPropertiesAxiom axiom) {
	for (OWLObjectPropertyExpression propertyExpression : axiom.getProperties()) {
		if(propertyExpression.isAnonymous()){
			sparql += objectVar + "<" + propertyExpression.getInverseProperty().asOWLObjectProperty().toStringID() + "> " + subjectVar + " .";
		} else {
			sparql += subjectVar + "<" + propertyExpression.asOWLObjectProperty().toStringID() + "> " + objectVar + " .";
		}
	}
}
 
开发者ID:SmartDataAnalytics,项目名称:OWL2SPARQL,代码行数:11,代码来源:OWLAxiomToSPARQLConverter.java

示例8: visit

import org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom; //导入依赖的package包/类
@Override
public void visit(@Nonnull OWLEquivalentObjectPropertiesAxiom axiom) {
    for (OWLObjectPropertyExpression prop : axiom.getProperties()) {
        prop.accept(this);
    }
    processAxiomAnnotations(axiom);
}
 
开发者ID:matthewhorridge,项目名称:owlapi-gwt,代码行数:8,代码来源:AbstractEntityRegistrationManager.java

示例9: transformOWLEquivalentObjectPropertiesAxiom

import org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom; //导入依赖的package包/类
private List<Axiom> transformOWLEquivalentObjectPropertiesAxiom(
        OWLEquivalentObjectPropertiesAxiom a) {
    List<Axiom> axioms = new ArrayList<Axiom>();
    for (OWLSubObjectPropertyOfAxiom ax : a.asSubObjectPropertyOfAxioms()) {
        OWLObjectPropertyExpression sub = ax.getSubProperty();
        OWLObjectPropertyExpression sup = ax.getSuperProperty();

        axioms.add(
                new RoleInclusion(new NamedRole(sub.asOWLObjectProperty().toStringID()),
                new NamedRole(sup.asOWLObjectProperty().toStringID()))
        );
    }
    return axioms;
}
 
开发者ID:aehrc,项目名称:ontology-core,代码行数:15,代码来源:OWLImporter.java

示例10: visit

import org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom; //导入依赖的package包/类
public void visit(OWLEquivalentObjectPropertiesAxiom axiom) {
    notSupported(axiom);
}
 
开发者ID:kbss-cvut,项目名称:jopa,代码行数:4,代码来源:IntegrityConstraintParser.java

示例11: convert

import org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom; //导入依赖的package包/类
@SuppressWarnings("static-method")
public ElkEquivalentObjectPropertiesAxiom convert(
		OWLEquivalentObjectPropertiesAxiom owlEquivalentObjectPropertiesAxiom) {
	return new ElkEquivalentObjectPropertiesAxiomWrap<OWLEquivalentObjectPropertiesAxiom>(
			owlEquivalentObjectPropertiesAxiom);
}
 
开发者ID:liveontologies,项目名称:elk-reasoner,代码行数:7,代码来源:OwlConverter.java

示例12: visit

import org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom; //导入依赖的package包/类
@Override
public ElkAxiom visit(
		OWLEquivalentObjectPropertiesAxiom owlEquivalentObjectProperties) {
	return CONVERTER.convert(owlEquivalentObjectProperties);
}
 
开发者ID:liveontologies,项目名称:elk-reasoner,代码行数:6,代码来源:OwlAxiomConverterVisitor.java

示例13: visit

import org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom; //导入依赖的package包/类
@Override
public ElkObjectPropertyAxiom visit(
		OWLEquivalentObjectPropertiesAxiom owlEquivalentObjectProperties) {
	return CONVERTER.convert(owlEquivalentObjectProperties);
}
 
开发者ID:liveontologies,项目名称:elk-reasoner,代码行数:6,代码来源:OwlObjectPropertyAxiomConverterVisitor.java

示例14: visit

import org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom; //导入依赖的package包/类
@Override
public void visit(OWLEquivalentObjectPropertiesAxiom axiom) {
	defaultVisit(axiom);
}
 
开发者ID:liveontologies,项目名称:elk-reasoner,代码行数:5,代码来源:FailingOwlAxiomVisitor.java

示例15: visit

import org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom; //导入依赖的package包/类
@Override
public OWLAxiom visit(OWLEquivalentObjectPropertiesAxiom axiom) {
	return factory.getOWLEquivalentObjectPropertiesAxiom(axiom.getProperties(), annotations);
}
 
开发者ID:owlcollab,项目名称:owltools,代码行数:5,代码来源:AxiomAnnotationTools.java


注:本文中的org.semanticweb.owlapi.model.OWLEquivalentObjectPropertiesAxiom类示例由纯净天空整理自Github/MSDocs等开源代码及文档管理平台,相关代码片段筛选自各路编程大神贡献的开源项目,源码版权归原作者所有,传播和使用请参考对应项目的License;未经允许,请勿转载。