本文整理汇总了Java中org.semanticweb.owlapi.model.OWLHasKeyAxiom类的典型用法代码示例。如果您正苦于以下问题：Java OWLHasKeyAxiom类的具体用法？Java OWLHasKeyAxiom怎么用？Java OWLHasKeyAxiom使用的例子？那么, 这里精选的类代码示例或许可以为您提供帮助。
OWLHasKeyAxiom类属于org.semanticweb.owlapi.model包，在下文中一共展示了OWLHasKeyAxiom类的15个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: OWLAxioms
import org.semanticweb.owlapi.model.OWLHasKeyAxiom; //导入依赖的package包/类
public OWLAxioms() {
m_classes=new HashSet<OWLClass>();
m_objectProperties=new HashSet<OWLObjectProperty>();
m_objectPropertiesOccurringInOWLAxioms=new HashSet<OWLObjectProperty>();
m_complexObjectPropertyExpressions=new HashSet<OWLObjectPropertyExpression>();
m_dataProperties=new HashSet<OWLDataProperty>();
m_namedIndividuals=new HashSet<OWLNamedIndividual>();
m_conceptInclusions=new ArrayList<OWLClassExpression[]>();
m_dataRangeInclusions=new ArrayList<OWLDataRange[]>();
m_simpleObjectPropertyInclusions=new ArrayList<OWLObjectPropertyExpression[]>();
m_complexObjectPropertyInclusions=new ArrayList<ComplexObjectPropertyInclusion>();
m_disjointObjectProperties=new ArrayList<OWLObjectPropertyExpression[]>();
m_reflexiveObjectProperties=new HashSet<OWLObjectPropertyExpression>();
m_irreflexiveObjectProperties=new HashSet<OWLObjectPropertyExpression>();
m_asymmetricObjectProperties=new HashSet<OWLObjectPropertyExpression>();
m_disjointDataProperties=new ArrayList<OWLDataPropertyExpression[]>();
m_dataPropertyInclusions=new ArrayList<OWLDataPropertyExpression[]>();
m_facts=new HashSet<OWLIndividualAxiom>();
m_hasKeys=new HashSet<OWLHasKeyAxiom>();
m_definedDatatypesIRIs=new HashSet<String>();
m_rules=new HashSet<DisjunctiveRule>();
}
示例2: OWLAxioms
import org.semanticweb.owlapi.model.OWLHasKeyAxiom; //导入依赖的package包/类
public OWLAxioms() {
m_classes=new HashSet<OWLClass>();
m_objectProperties=new HashSet<OWLObjectProperty>();
m_objectPropertiesOccurringInOWLAxioms=new HashSet<OWLObjectProperty>();
m_complexObjectPropertyExpressions=new HashSet<OWLObjectPropertyExpression>();
m_dataProperties=new HashSet<OWLDataProperty>();
m_namedIndividuals=new HashSet<OWLNamedIndividual>();
m_aspConstraints=new HashSet<ASPConstraint>();
m_aspRules=new HashSet<ASPRule>();
m_conceptInclusions=new ArrayList<OWLClassExpression[]>();
m_dataRangeInclusions=new ArrayList<OWLDataRange[]>();
m_simpleObjectPropertyInclusions=new ArrayList<OWLObjectPropertyExpression[]>();
m_complexObjectPropertyInclusions=new ArrayList<ComplexObjectPropertyInclusion>();
m_disjointObjectProperties=new ArrayList<OWLObjectPropertyExpression[]>();
m_reflexiveObjectProperties=new HashSet<OWLObjectPropertyExpression>();
m_irreflexiveObjectProperties=new HashSet<OWLObjectPropertyExpression>();
m_asymmetricObjectProperties=new HashSet<OWLObjectPropertyExpression>();
m_disjointDataProperties=new ArrayList<OWLDataPropertyExpression[]>();
m_dataPropertyInclusions=new ArrayList<OWLDataPropertyExpression[]>();
m_facts=new HashSet<OWLIndividualAxiom>();
m_hasKeys=new HashSet<OWLHasKeyAxiom>();
m_definedDatatypesIRIs=new HashSet<String>();
m_rules=new HashSet<DisjunctiveRule>();
}
示例3: visit
import org.semanticweb.owlapi.model.OWLHasKeyAxiom; //导入依赖的package包/类
public void visit(OWLHasKeyAxiom axiom) {
for (OWLDataPropertyExpression dataPropertyExpression : axiom.getDataPropertyExpressions())
checkTopDataPropertyUse(dataPropertyExpression,axiom);
OWLClassExpression description=positive(axiom.getClassExpression());
if (!isSimple(description)) {
OWLClassExpression definition=getDefinitionFor(description,m_alreadyExists);
if (!m_alreadyExists[0])
m_classExpressionInclusionsAsDisjunctions.add(new OWLClassExpression[] { negative(definition),description });
description=definition;
}
m_axioms.m_hasKeys.add(m_factory.getOWLHasKeyAxiom(description,axiom.getPropertyExpressions()));
for (OWLObjectPropertyExpression objectPropertyExpression : axiom.getObjectPropertyExpressions())
m_axioms.m_objectPropertiesOccurringInOWLAxioms.add(objectPropertyExpression.getNamedProperty());
}
示例4: visit
import org.semanticweb.owlapi.model.OWLHasKeyAxiom; //导入依赖的package包/类
@Override
public OWLHasKeyAxiom visit(ElkHasKeyAxiom axiom) {
return owlFactory_.getOWLHasKeyAxiom(
convert(axiom.getClassExpression()),
toPropertyExpressionSet(axiom.getObjectPropertyExpressions(),
axiom.getDataPropertyExpressions()));
}
示例5: visit
import org.semanticweb.owlapi.model.OWLHasKeyAxiom; //导入依赖的package包/类
@Override
public void visit(@Nonnull OWLHasKeyAxiom axiom) {
axiom.getClassExpression().accept(this);
for (OWLPropertyExpression prop : axiom.getPropertyExpressions()) {
prop.accept(this);
}
processAxiomAnnotations(axiom);
}
示例6: visit
import org.semanticweb.owlapi.model.OWLHasKeyAxiom; //导入依赖的package包/类
public void visit(OWLHasKeyAxiom axiom) {
notSupported(axiom);
}
示例7: visit
import org.semanticweb.owlapi.model.OWLHasKeyAxiom; //导入依赖的package包/类
public void visit(OWLHasKeyAxiom axiom) {
}
示例8: visit
import org.semanticweb.owlapi.model.OWLHasKeyAxiom; //导入依赖的package包/类
@Override
public T visit(OWLHasKeyAxiom axiom) {
throw new IllegalArgumentException(OWLHasKeyAxiom.class.getSimpleName()
+ " cannot be converted to " + getTargetClass().getSimpleName());
}
示例9: convert
import org.semanticweb.owlapi.model.OWLHasKeyAxiom; //导入依赖的package包/类
@SuppressWarnings("static-method")
public ElkHasKeyAxiom convert(OWLHasKeyAxiom owlHasKey) {
return new ElkHasKeyAxiomWrap<OWLHasKeyAxiom>(owlHasKey);
}
示例10: visit
import org.semanticweb.owlapi.model.OWLHasKeyAxiom; //导入依赖的package包/类
@Override
public ElkAxiom visit(OWLHasKeyAxiom axiom) {
return CONVERTER.convert(axiom);
}
示例11: visit
import org.semanticweb.owlapi.model.OWLHasKeyAxiom; //导入依赖的package包/类
@Override
public void visit(OWLHasKeyAxiom axiom) {
defaultVisit(axiom);
}
示例12: visit
import org.semanticweb.owlapi.model.OWLHasKeyAxiom; //导入依赖的package包/类
@Override
public OWLAxiom visit(OWLHasKeyAxiom axiom) {
return factory.getOWLHasKeyAxiom(axiom.getClassExpression(), axiom.getDataPropertyExpressions(), annotations);
}
示例13: visit
import org.semanticweb.owlapi.model.OWLHasKeyAxiom; //导入依赖的package包/类
@Override
public void visit(OWLHasKeyAxiom axiom) {
}
示例14: visit
import org.semanticweb.owlapi.model.OWLHasKeyAxiom; //导入依赖的package包/类
@Override
public Boolean visit(OWLHasKeyAxiom axiom) {
return true;
}
示例15: visit
import org.semanticweb.owlapi.model.OWLHasKeyAxiom; //导入依赖的package包/类
@Override
public Boolean visit(OWLHasKeyAxiom axiom) {
return false;
}