Java OWLDataOneOf类代码示例

OGeek|极客世界-中国程序员成长平台 › 门户 › 编程› Java›Java编程经验

原作者: [db:作者] 来自: [db:来源] 收藏邀请

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

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

示例1: visit

import org.semanticweb.owlapi.model.OWLDataOneOf; //导入依赖的package包/类
@Override
public OWLDataRange visit(OWLDataOneOf node) {
    if (node.getValues().size() == 1) {
        if (negated) {
            return dataFactory.getOWLDataComplementOf(node);
        } else {
            return node;
        }
    } else {
        // Encode as a data union of and return result
        Set<OWLDataOneOf> oneOfs = new HashSet<>();
        for (OWLLiteral lit : node.getValues()) {
            oneOfs.add(dataFactory.getOWLDataOneOf(lit));
        }
        return dataFactory.getOWLDataUnionOf(oneOfs).accept(this);
    }
}

开发者ID:matthewhorridge，项目名称:owlapi-gwt，代码行数:18，代码来源:NNF.java

示例2: addToOntology

import org.semanticweb.owlapi.model.OWLDataOneOf; //导入依赖的package包/类
@Override
public void addToOntology() {
  OWLDatatype datatype = factory.getOWLDatatype(":DataOneOf", pm);

  OWLLiteral l1 = factory.getOWLLiteral("DataOneOf_Literal1");
  OWLLiteral l2 = factory.getOWLLiteral("DataOneOf_Literal2");
  OWLLiteral l3 = factory.getOWLLiteral("DataOneOf_Literal3");

  OWLDataOneOf owlDataOneOf = factory.getOWLDataOneOf(l1, l2, l3);
  addAxiomToOntology(factory.getOWLDatatypeDefinitionAxiom(datatype, owlDataOneOf));
}

开发者ID:VisualDataWeb，项目名称:OntoBench，代码行数:12，代码来源:OwlDataOneOfFeature.java

示例3: addToOntology

import org.semanticweb.owlapi.model.OWLDataOneOf; //导入依赖的package包/类
@Override
public void addToOntology() {
  OWLDatatype datatype = factory.getOWLDatatype(":DataOneOf_EL", pm);
  OWLLiteral singleLiteral = factory.getOWLLiteral("DataOneOf_EL_Literal1");
  OWLDataOneOf owlDataOneOf = factory.getOWLDataOneOf(singleLiteral);

  addAxiomToOntology(factory.getOWLDatatypeDefinitionAxiom(datatype, owlDataOneOf));
}

开发者ID:VisualDataWeb，项目名称:OntoBench，代码行数:9，代码来源:OwlDataOneOfOwl2ELFeature.java

示例4: getClass2DataProperty2LiteralAxioms

import org.semanticweb.owlapi.model.OWLDataOneOf; //导入依赖的package包/类
/**
 * create axioms for class--dataproperty----literal relation.
 * 
 * @param src
 * @param dataprop
 * @param dest
 * @return
 */
private void getClass2DataProperty2LiteralAxioms(OWLClass src, OWLDataProperty dataprop, OWLLiteral dest) {
	// Set<OWLAxiom> tmpaxioms = new HashSet<OWLAxiom>();
	OWLAxiom axiom;
	OWLDataSomeValuesFrom owlDataSomeValuesFrom;
	OWLDataHasValue owlLDataHasValue;
	OWLDataMaxCardinality owlDataMaxCardinality;
	OWLDataOneOf owldataOneOf;

	// set domain and range
	// scoped domain
	if (editor.isGenerateDomainAxiom()) {
		owlLDataHasValue = owlDataFactory.getOWLDataHasValue(dataprop, dest);
		axiom = owlDataFactory.getOWLSubClassOfAxiom(owlLDataHasValue, src);
		domainAndRangeAxioms.add(axiom);

		owlDataSomeValuesFrom = owlDataFactory.getOWLDataSomeValuesFrom(dataprop, owlDataFactory.getTopDatatype());
		axiom = owlDataFactory.getOWLSubClassOfAxiom(owlDataSomeValuesFrom, src);
		domainAndRangeAxioms.add(axiom);
	}

	if (editor.isGenerateCardinalityAxiom()) {
		owlDataMaxCardinality = owlDataFactory.getOWLDataMaxCardinality(1, dataprop,
				owlDataFactory.getTopDatatype());
		axiom = owlDataFactory.getOWLSubClassOfAxiom(owlDataFactory.getOWLThing(), owlDataMaxCardinality);
		cardinalityAxioms.add(axiom);

		// need to verify with Adila
		owlDataMaxCardinality = owlDataFactory.getOWLDataMaxCardinality(1, dataprop,
				owlDataFactory.getTopDatatype());
		axiom = owlDataFactory.getOWLSubClassOfAxiom(src, owlDataMaxCardinality);
		cardinalityAxioms.add(axiom);
	}
	// return tmpaxioms;
}

开发者ID:md-k-sarker，项目名称:OWLAx，代码行数:43，代码来源:IntegrateOntologyWithProtege.java

示例5: axiomatizeTopDataProperty

import org.semanticweb.owlapi.model.OWLDataOneOf; //导入依赖的package包/类
protected void axiomatizeTopDataProperty(OWLAxioms axioms) {
    OWLDatatype anonymousConstantsDatatype=m_factory.getOWLDatatype(IRI.create("internal:anonymous-constants"));
    OWLLiteral newConstant=m_factory.getOWLLiteral("internal:constant",anonymousConstantsDatatype);
    OWLDataOneOf oneOfNewConstant=m_factory.getOWLDataOneOf(newConstant);
    OWLDataSomeValuesFrom hasTopNewConstant=m_factory.getOWLDataSomeValuesFrom(m_topDataProperty,oneOfNewConstant);
    axioms.m_conceptInclusions.add(new OWLClassExpression[] { hasTopNewConstant });
}

开发者ID:robertoyus，项目名称:HermiT-android，代码行数:8，代码来源:BuiltInPropertyManager.java

示例6: visit

import org.semanticweb.owlapi.model.OWLDataOneOf; //导入依赖的package包/类
public void visit(OWLClassAssertionAxiom axiom) {
    OWLClassExpression classExpression=axiom.getClassExpression();
    if (classExpression instanceof OWLDataHasValue) {
        OWLDataHasValue hasValue=(OWLDataHasValue)classExpression;
        addFact(m_factory.getOWLDataPropertyAssertionAxiom(hasValue.getProperty(), axiom.getIndividual(), hasValue.getValue()));
        return;
    }
    if (classExpression instanceof OWLDataSomeValuesFrom) {
        OWLDataSomeValuesFrom someValuesFrom=(OWLDataSomeValuesFrom)classExpression;
        OWLDataRange dataRange=someValuesFrom.getFiller();
        if (dataRange instanceof OWLDataOneOf) {
            OWLDataOneOf oneOf=(OWLDataOneOf)dataRange;
            if (oneOf.getValues().size()==1) {
                addFact(m_factory.getOWLDataPropertyAssertionAxiom(someValuesFrom.getProperty(),axiom.getIndividual(),oneOf.getValues().iterator().next()));
                return;
            }
        }
    }
    classExpression=positive(classExpression);
    if (!isSimple(classExpression)) {
        OWLClassExpression definition=getDefinitionFor(classExpression,m_alreadyExists);
        if (!m_alreadyExists[0])
            m_classExpressionInclusionsAsDisjunctions.add(new OWLClassExpression[] { negative(definition),classExpression });
        classExpression=definition;
    }
    addFact(m_factory.getOWLClassAssertionAxiom(classExpression,axiom.getIndividual()));
}

开发者ID:robertoyus，项目名称:HermiT-android，代码行数:28，代码来源:OWLNormalization.java

示例7: visit

import org.semanticweb.owlapi.model.OWLDataOneOf; //导入依赖的package包/类
public Object visit(OWLDataOneOf object) {
    Set<Constant> constants=new HashSet<Constant>();
    for (OWLLiteral literal : object.getValues())
        constants.add((Constant)literal.accept(this));
    Constant[] constantsArray=new Constant[constants.size()];
    constants.toArray(constantsArray);
    return ConstantEnumeration.create(constantsArray);
}

开发者ID:robertoyus，项目名称:HermiT-android，代码行数:9，代码来源:OWLClausification.java

示例8: visit

import org.semanticweb.owlapi.model.OWLDataOneOf; //导入依赖的package包/类
public void visit(OWLClassAssertionAxiom axiom) {
	OWLClassExpression classExpression=axiom.getClassExpression();
	if (classExpression instanceof OWLDataHasValue) {
        OWLDataHasValue hasValue=(OWLDataHasValue)classExpression;
        addFact(m_factory.getOWLDataPropertyAssertionAxiom(hasValue.getProperty(), axiom.getIndividual(), hasValue.getValue()));
        return;
    }
    if (classExpression instanceof OWLDataSomeValuesFrom) {
        OWLDataSomeValuesFrom someValuesFrom=(OWLDataSomeValuesFrom)classExpression;
        OWLDataRange dataRange=someValuesFrom.getFiller();
        if (dataRange instanceof OWLDataOneOf) {
            OWLDataOneOf oneOf=(OWLDataOneOf)dataRange;
            if (oneOf.getValues().size()==1) {
                addFact(m_factory.getOWLDataPropertyAssertionAxiom(someValuesFrom.getProperty(),axiom.getIndividual(),oneOf.getValues().iterator().next()));
                return;
            }
        }
    }
    classExpression=positive(classExpression);
    if (!isSimple(classExpression)) {
        OWLClassExpression definition=getDefinitionFor(classExpression,m_alreadyExists);
        if (!m_alreadyExists[0])
            m_classExpressionInclusionsAsDisjunctions.add(new OWLClassExpression[] { negative(definition),classExpression });
        classExpression=definition;
    }
    addFact(m_factory.getOWLClassAssertionAxiom(classExpression,axiom.getIndividual()));
}

开发者ID:wolpertinger-reasoner，项目名称:Wolpertinger，代码行数:28，代码来源:OWLNormalization.java

示例9: isAtomic

import org.semanticweb.owlapi.model.OWLDataOneOf; //导入依赖的package包/类
protected static boolean isAtomic(OWLDataRange dr) {
    return dr instanceof OWLDatatype || dr instanceof OWLDatatypeRestriction || dr instanceof OWLDataOneOf;
}

开发者ID:robertoyus，项目名称:HermiT-android，代码行数:4，代码来源:OWLNormalization.java

示例10: visit

import org.semanticweb.owlapi.model.OWLDataOneOf; //导入依赖的package包/类
public OWLDataRange visit(OWLDataOneOf o) {
    return o;
}

开发者ID:robertoyus，项目名称:HermiT-android，代码行数:4，代码来源:ExpressionManager.java

示例11: visit

import org.semanticweb.owlapi.model.OWLDataOneOf; //导入依赖的package包/类
@Override
public OWLDataOneOf visit(ElkDataOneOf expression) {
	return owlFactory_
			.getOWLDataOneOf(toLiteralSet(expression.getLiterals()));
}

开发者ID:liveontologies，项目名称:elk-reasoner，代码行数:6，代码来源:AbstractElkObjectConverter.java

示例12: convert

import org.semanticweb.owlapi.model.OWLDataOneOf; //导入依赖的package包/类
@SuppressWarnings("static-method")
public ElkDataOneOf convert(OWLDataOneOf owlDataOneOf) {
	return new ElkDataOneOfWrap<OWLDataOneOf>(owlDataOneOf);
}

开发者ID:liveontologies，项目名称:elk-reasoner，代码行数:5，代码来源:OwlConverter.java

示例13: visit

import org.semanticweb.owlapi.model.OWLDataOneOf; //导入依赖的package包/类
@Override
public ElkDataOneOf visit(OWLDataOneOf owlDataOneOf) {
	return CONVERTER.convert(owlDataOneOf);
}

开发者ID:liveontologies，项目名称:elk-reasoner，代码行数:5，代码来源:OwlDataRangeConverterVisitor.java

示例14: visit

import org.semanticweb.owlapi.model.OWLDataOneOf; //导入依赖的package包/类
@Override
public O visit(OWLDataOneOf node) {
    return doDefault(node);
}

开发者ID:matthewhorridge，项目名称:owlapi-gwt，代码行数:5，代码来源:OWLDataVisitorExAdapter.java

示例15: visit

import org.semanticweb.owlapi.model.OWLDataOneOf; //导入依赖的package包/类
@Override
public void visit(OWLDataOneOf node) {
    handleDefault(node);
}

开发者ID:matthewhorridge，项目名称:owlapi-gwt，代码行数:5，代码来源:OWLObjectVisitorAdapter.java

示例16: visit

import org.semanticweb.owlapi.model.OWLDataOneOf; //导入依赖的package包/类
@Override
public void visit(OWLDataOneOf node) {
    type = DATA_TYPE_INDEX_BASE + 3;
}

开发者ID:matthewhorridge，项目名称:owlapi-gwt，代码行数:5，代码来源:OWLObjectTypeIndexProvider.java

示例17: visit

import org.semanticweb.owlapi.model.OWLDataOneOf; //导入依赖的package包/类
@Override
public void visit(OWLDataOneOf node) {
    hashCode = primes[52];
    hashCode = hashCode * MULT + node.getValues().hashCode();
}

开发者ID:matthewhorridge，项目名称:owlapi-gwt，代码行数:6，代码来源:HashCode.java

示例18: visit

import org.semanticweb.owlapi.model.OWLDataOneOf; //导入依赖的package包/类
@Override
public void visit(@Nonnull OWLDataOneOf node) {
    for (OWLLiteral val : node.getValues()) {
        val.accept(this);
    }
}

开发者ID:matthewhorridge，项目名称:owlapi-gwt，代码行数:7，代码来源:AbstractEntityRegistrationManager.java

示例19: visit

import org.semanticweb.owlapi.model.OWLDataOneOf; //导入依赖的package包/类
public Object visit(OWLDataOneOf node) {
     if (node.getValues().size() != 1) {
profileViolations.add(new UseOfDataOneOfWithMultipleLiterals(getCurrentOntology(), getCurrentAxiom(), node));
     }
     return null;
   }

开发者ID:ag-csw，项目名称:SVoNt，代码行数:7，代码来源:PelletOWL2ELProfile.java

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

鲜花

握手

雷人

路过

鸡蛋

该文章已有0人参与评论

请发表评论

全部评论

专题导读

More+

10-27 六六分期app的软件客服如何联系？(六六分期

11-06 可心卡盟:win10系统火狐flash插件崩溃怎么

11-06 亲亲特价:怎么删除回收站图标

11-06 济南大学虚拟社区:鲁大师节能降温的具体办

11-06 xlueops.exe:无线网络安装向导

11-06 女斗合众国:win7系统cf与主机连接不稳定怎

11-06 0xc000022-[cf烟雾头]cf怎么调烟雾头

11-06 qizideyouhuo:应用程序无法正常启动0xc0000

11-06 ipz-185:win7系统vcf文件怎么打开

11-06 傻哥蹦迪:win10系统s4怎么打开usb调试

11-06 八神浩树gtaste:回收站清空了怎么恢复

11-06 妖尾之黑色守护:win10系统电脑没有1440x900

11-06 校园至尊魔王小说:win7系统浏览网页时字体

11-06 女斗合众国:win10系统访问共享文件夹提示请

11-06 tokyo hot n0654:恢复win7系统默认字体一招

11-06 雨酷仙境:设置win7系统转移临时文件夹腾出

11-06 阿穆纳伊之杖:win7系统开始菜单在右边还原

11-06 tunespotting:win10系统火狐flash插件总是

11-06 甘尔葛分析师：计谋网站seo关键词暴涨有什

11-06 蔡贵霖: 计谋网站seo关键词暴涨有什么秘密

11-06 博益网首页:ao3网页版进入不了解决方法

11-06 漏斗子专栏: 网站数据分析小白易懂精华篇

11-06 见证双虹怎么做:win7系统开启telnet命令的

11-06 颾狐蝶蜋:系统资源不足无法完成请求的服务

11-06 国光中学校歌:提交网站到alexa查询详细步骤

11-06 西安有情天:静态网页和动态网页的区别

11-06 红木雅尚斋:外部链接构造对网站的好处

11-06 前官礼遇：防止域名劫持–增强域安全性的10

11-06 密传二转答案: 中文分词算法有哪些

11-06 金泉家园邮编:百度快照劫持的表现及应对方

Java PathList类代码示例发布时间：2022-05-22

Java DayOfWeek类代码示例发布时间：2022-05-22

剪的笔顺,诠释剪的笔画,认识剪的部首

1 六六分期app的软件客服如何联系？(六六分期

六六分期app的软件客服如何联系？不知道吗？加qq群【895510560】即可！标题：六六分期

阅读：18215|2023-10-27

2 可心卡盟:win10系统火狐flash插件崩溃怎么

今天小编告诉大家如何处理win10系统火狐flash插件总是崩溃的问题，可能很多用户都不知

阅读：9658|2022-11-06

3 亲亲特价:怎么删除回收站图标

今天小编告诉大家如何对win10系统删除桌面回收站图标进行设置，可能很多用户都不知道

阅读：8168|2022-11-06

4 济南大学虚拟社区:鲁大师节能降温的具体办

今天小编告诉大家如何对win10系统电脑设置节能降温的设置方法，想必大家都遇到过需要

阅读：8543|2022-11-06

5 xlueops.exe:无线网络安装向导

我们在使用xp系统的过程中,经常需要对xp系统无线网络安装向导设置进行设置，可能很多

阅读：8449|2022-11-06

6 女斗合众国:win7系统cf与主机连接不稳定怎

今天小编告诉大家如何处理win7系统玩cf老是与主机连接不稳定的问题，可能很多用户都不

阅读：9375|2022-11-06

7 0xc000022-[cf烟雾头]cf怎么调烟雾头

电脑对日常生活的重要性小编就不多说了，可是一旦碰到win7系统设置cf烟雾头的问题，很

阅读：8420|2022-11-06

8 qizideyouhuo:应用程序无法正常启动0xc0000

我们在日常使用电脑的时候，有的小伙伴们可能在打开应用的时候会遇见提示应用程序无法

阅读：7855|2022-11-06

9 ipz-185:win7系统vcf文件怎么打开

今天小编告诉大家如何对win7系统打开vcf文件进行设置，可能很多用户都不知道怎么对win

阅读：8403|2022-11-06

10 傻哥蹦迪:win10系统s4怎么打开usb调试

今天小编告诉大家如何对win10系统s4开启USB调试模式进行设置，可能很多用户都不知道怎

阅读：7391|2022-11-06

客服电话

电子邮件

Java OWLDataOneOf类代码示例

示例1: visit

示例2: addToOntology

示例3: addToOntology

示例4: getClass2DataProperty2LiteralAxioms

示例5: axiomatizeTopDataProperty

示例6: visit

示例7: visit

示例8: visit

示例9: isAtomic

示例10: visit

示例11: visit

示例12: convert

示例13: visit

示例14: visit

示例15: visit

示例16: visit

示例17: visit

示例18: visit

示例19: visit

请发表评论

全部评论

上一篇：

下一篇：

bradtraversy/iweather: Ionic 3 mobile we

CVE-2022-32030

joaomh/curso-de-matlab

断牙刷新位置时间（断牙属性及刷新位置介绍

yumendy/LibraryManagement

剪的笔顺,诠释剪的笔画,认识剪的部首

六六分期app的软件客服如何联系？(六六分期

florent37/ViewAnimator: A fluent Android

florent37/Shrine-MaterialDesign2: implem

CVE-2020-36276

SimpleSoftwareIO/simple-sms: Send and re

关于我们

产品与服务

解决方案

139-2527-9053