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


Java OWLReflexiveObjectPropertyAxiom类代码示例

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


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

示例1: visit

import org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom; //导入依赖的package包/类
/**
 * A reflexive role assertion<i>Ref(r)</i> is translated into the constraint:</br></br>
 *
 * <code>
 * :- not r(X,X), thing(X).
 * </code>
 * @see org.semanticweb.owlapi.model.OWLAxiomVisitor#visit(org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom)
 */

public void visit(OWLReflexiveObjectPropertyAxiom refPropertyAxiom) {
	OWLObjectPropertyExpression property = refPropertyAxiom.getProperty();
	String propertyName = mapper.getPredicateName(property.getNamedProperty());
	String cVar = var.currentVar();

	writer.write("icons " + ASP2CoreSymbols.IMPLICATION);
	writer.write(String.format(" activated(%d), ", nConstraints++));
	writer.write(ASP2CoreSymbols.NAF);
	writer.write("_");
	writer.write(propertyName);
	writer.write(ASP2CoreSymbols.BRACKET_OPEN);
	writer.write(cVar);
	writer.write(ASP2CoreSymbols.ARG_SEPERATOR);
	writer.write(cVar);
	writer.write(ASP2CoreSymbols.BRACKET_CLOSE);
	writer.write(ASP2CoreSymbols.CONJUNCTION);
	writer.write("thing(");
	writer.write(cVar);
	writer.write(")"+ASP2CoreSymbols.EOR);
}
 
开发者ID:wolpertinger-reasoner,项目名称:Wolpertinger,代码行数:30,代码来源:DebugTranslation.java

示例2: visit

import org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom; //导入依赖的package包/类
/**
 * A reflexive role assertion<i>Ref(r)</i> is translated into the constraint:</br></br>
 *
 * <code>
 * :- not r(X,X), thing(X).
 * </code>
 * @see org.semanticweb.owlapi.model.OWLAxiomVisitor#visit(org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom)
 */

public void visit(OWLReflexiveObjectPropertyAxiom refPropertyAxiom) {
	OWLObjectPropertyExpression property = refPropertyAxiom.getProperty();
	String propertyName = mapper.getPredicateName(property.getNamedProperty());
	String cVar = var.currentVar();

	writer.write(ASP2CoreSymbols.IMPLICATION);
	writer.write(ASP2CoreSymbols.NAF);
	writer.write(" ");
	writer.write(propertyName);
	writer.write(ASP2CoreSymbols.BRACKET_OPEN);
	writer.write(cVar);
	writer.write(ASP2CoreSymbols.ARG_SEPERATOR);
	writer.write(cVar);
	writer.write(ASP2CoreSymbols.BRACKET_CLOSE);
	writer.write(ASP2CoreSymbols.CONJUNCTION);
	writer.write("thing(");
	writer.write(cVar);
	writer.write(")"+ASP2CoreSymbols.EOR);
}
 
开发者ID:wolpertinger-reasoner,项目名称:Wolpertinger,代码行数:29,代码来源:NaiveTranslation.java

示例3: visit

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

示例4: getIsReflexive

import org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom; //导入依赖的package包/类
/**
 * true if c is reflexive in the graph
 * 
 * @param c
 * @return boolean
 */
public boolean getIsReflexive(OWLObjectProperty c) {
	for(OWLOntology ont : getAllOntologies()) {
		Set<OWLReflexiveObjectPropertyAxiom> ax = ont.getReflexiveObjectPropertyAxioms(c);
		if (ax.isEmpty() == false) {
			return true;
		}
	}
	return false;
}
 
开发者ID:owlcollab,项目名称:owltools,代码行数:16,代码来源:OWLGraphWrapperExtended.java

示例5: visit

import org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom; //导入依赖的package包/类
@Override
public Set<ComplexIntegerAxiom> visit(OWLReflexiveObjectPropertyAxiom axiom) {
	Objects.requireNonNull(axiom);
	OWLObjectProperty property = asOWLObjectProperty(axiom.getProperty());
	IntegerObjectProperty propertyExpr = getDataTypeFactory()
			.createObjectProperty(translateObjectProperty(property));
	ComplexIntegerAxiom ret = getAxiomFactory().createReflexiveObjectPropertyAxiom(propertyExpr,
			translateAnnotations(axiom.getAnnotations()));
	return Collections.singleton(ret);
}
 
开发者ID:julianmendez,项目名称:jcel,代码行数:11,代码来源:AxiomTranslator.java

示例6: getAxiomWithoutAnnotations

import org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom; //导入依赖的package包/类
@Nonnull
@Override
public OWLReflexiveObjectPropertyAxiom getAxiomWithoutAnnotations() {
    if (!isAnnotated()) {
        return this;
    }
    return new OWLReflexiveObjectPropertyAxiomImpl(getProperty(),
            NO_ANNOTATIONS);
}
 
开发者ID:matthewhorridge,项目名称:owlapi-gwt,代码行数:10,代码来源:OWLReflexiveObjectPropertyAxiomImpl.java

示例7: equals

import org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom; //导入依赖的package包/类
@Override
public boolean equals(Object obj) {
    if (this == obj) {
        return true;
    }
    if (!super.equals(obj)) {
        return false;
    }
    return obj instanceof OWLReflexiveObjectPropertyAxiom;
}
 
开发者ID:matthewhorridge,项目名称:owlapi-gwt,代码行数:11,代码来源:OWLReflexiveObjectPropertyAxiomImpl.java

示例8: visit

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

示例9: visit

import org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom; //导入依赖的package包/类
public void visit(OWLReflexiveObjectPropertyAxiom axiom) {
    makeReflexive(axiom.getProperty());
    m_axioms.m_objectPropertiesOccurringInOWLAxioms.add(axiom.getProperty().getNamedProperty());
}
 
开发者ID:robertoyus,项目名称:HermiT-android,代码行数:5,代码来源:OWLNormalization.java

示例10: visit

import org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom; //导入依赖的package包/类
public Boolean visit(OWLReflexiveObjectPropertyAxiom axiom) {
    return reasoner.isReflexive(axiom.getProperty());
}
 
开发者ID:robertoyus,项目名称:HermiT-android,代码行数:4,代码来源:EntailmentChecker.java

示例11: visit

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

示例12: convert

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

示例13: visit

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

示例14: visit

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

示例15: visit

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


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