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


Java OWLEquivalentDataPropertiesAxiom类代码示例

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


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

示例1: visit

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

示例2: visit

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

示例3: visit

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

示例4: visit

import org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom; //导入依赖的package包/类
/**
 * A utility method to process OWL <code>EquivalentObjectProperties(OPE1 OPE2)</code> axiom and produce
 * inferred mapping assertions.
 */
@Override
public void visit(OWLEquivalentDataPropertiesAxiom axiom)
{
   List<OWLDataPropertyExpression> properties = new ArrayList<OWLDataPropertyExpression>(axiom.getProperties());
   OWLDataPropertyExpression dpe1 = properties.get(0);
   OWLDataPropertyExpression dpe2 = properties.get(1);
   
   /*
    * Get all (copy) known mappings for the first equivalent data property expression
    * and produce the extra mappings.
    */
   dpe1.accept(this);
   Set<IMapping> mappings1 = getMappingsForPropertyExpression();
   if (!mappings1.isEmpty()) {
      dpe2.accept(this);
      produceEquivalentPropertyMappings(mappings1);
   }
   
   /*
    * Get all (copy) known mappings for the second equivalent data property expression
    * and produce the extra mappings.
    */
   dpe2.accept(this);
   Set<IMapping> mappings2 = getMappingsForPropertyExpression();
   if (!mappings2.isEmpty()) {
      dpe1.accept(this);
      produceEquivalentPropertyMappings(mappings2);
   }
}
 
开发者ID:obidea,项目名称:semantika,代码行数:34,代码来源:TMappingProcessor.java

示例5: visit

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

示例6: visit

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

示例7: visit

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

示例8: convert

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

示例9: visit

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

示例10: visit

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

示例11: visit

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

示例12: visit

import org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom; //导入依赖的package包/类
@Override
public void visit(OWLEquivalentDataPropertiesAxiom axiom) {
}
 
开发者ID:owlcollab,项目名称:owltools,代码行数:4,代码来源:CardinalityContraintsTools.java

示例13: visit

import org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom; //导入依赖的package包/类
@Override
public Boolean visit(OWLEquivalentDataPropertiesAxiom axiom) {
	return true;
}
 
开发者ID:julianmendez,项目名称:born,代码行数:5,代码来源:CycleDetector.java

示例14: visit

import org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom; //导入依赖的package包/类
@Override
public Boolean visit(OWLEquivalentDataPropertiesAxiom axiom) {
	return false;
}
 
开发者ID:julianmendez,项目名称:born,代码行数:5,代码来源:ElAxiomFilter.java

示例15: visit

import org.semanticweb.owlapi.model.OWLEquivalentDataPropertiesAxiom; //导入依赖的package包/类
@Override
public Boolean visit(OWLEquivalentDataPropertiesAxiom axiom) {
	Objects.requireNonNull(axiom);
	return add(this.df.getOWLEquivalentDataPropertiesAxiom(axiom.getProperties(), reg(axiom.getAnnotations())));
}
 
开发者ID:julianmendez,项目名称:born,代码行数:6,代码来源:AnnotationProcessor.java


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