本文整理汇总了Java中org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom.getProperty方法的典型用法代码示例。如果您正苦于以下问题：Java OWLReflexiveObjectPropertyAxiom.getProperty方法的具体用法？Java OWLReflexiveObjectPropertyAxiom.getProperty怎么用？Java OWLReflexiveObjectPropertyAxiom.getProperty使用的例子？那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom的用法示例。
在下文中一共展示了OWLReflexiveObjectPropertyAxiom.getProperty方法的3个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的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);
}
示例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);
}
示例3: transformOWLReflexiveObjectPropertyAxiom
import org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom; //导入方法依赖的package包/类
private Axiom transformOWLReflexiveObjectPropertyAxiom(OWLReflexiveObjectPropertyAxiom a) {
OWLObjectPropertyExpression exp = a.getProperty();
return new RoleInclusion(new Role[] {}, new NamedRole(exp.asOWLObjectProperty().toStringID()));
}