本文整理了Java中openllet.owlapi.OWL.max()
方法的一些代码示例,展示了OWL.max()
的具体用法。这些代码示例主要来源于Github
/Stackoverflow
/Maven
等平台,是从一些精选项目中提取出来的代码,具有较强的参考意义,能在一定程度帮忙到你。OWL.max()
方法的具体详情如下:
包路径:openllet.owlapi.OWL
类名称:OWL
方法名:max
暂无
代码示例来源:origin: com.github.galigator.openllet/openllet-owlapi
/**
* @param property is the property that support the given range. In fact can be all 'simple' DataProperty you may want.
* @param range like [1..3] or more complex if you want.
* @param literal to check, 2 is include [1..3], 4 isn't include in [1..3].
* @return true if the literal is in the range.
* @since 2.6.1
*/
default public boolean isLiteralIncludeInRange(final OWLDataProperty property, final OWLDataRange range, final OWLLiteral literal)
{
return getReasoner().isSatisfiable(//
OWL.and(// You must be of all the following class
OWL.some(property, OWL.oneOf(literal)), // The class of the 'literal'
OWL.some(property, range), // The class of the range.
OWL.max(property, 1))// But you can have the property only once.
);
}
代码示例来源:origin: Galigator/openllet
/**
* @param property is the property that support the given range. In fact can be all 'simple' DataProperty you may want.
* @param range like [1..3] or more complex if you want.
* @param literal to check, 2 is include [1..3], 4 isn't include in [1..3].
* @return true if the literal is in the range.
* @since 2.6.1
*/
default public boolean isLiteralIncludeInRange(final OWLDataProperty property, final OWLDataRange range, final OWLLiteral literal)
{
return getReasoner().isSatisfiable(//
OWL.and(// You must be of all the following class
OWL.some(property, OWL.oneOf(literal)), // The class of the 'literal'
OWL.some(property, range), // The class of the range.
OWL.max(property, 1))// But you can have the property only once.
);
}
代码示例来源:origin: Galigator/openllet
/**
* @param property is the property that support the given range. In fact can be all 'simple' DataProperty you may want.
* @param range like [1..3] or more complex if you want.
* @param literal to check, 2 is include [1..3], 4 isn't include in [1..3].
* @return true if the literal is in the range.
* @since 2.6.1
*/
default public boolean isLiteralIncludeInRange(final OWLDataProperty property, final OWLDataRange range, final OWLLiteral literal)
{
return getReasoner().isSatisfiable(//
OWL.and(// You must be of all the following class
OWL.some(property, OWL.oneOf(literal)), // The class of the 'literal'
OWL.some(property, range), // The class of the range.
OWL.max(property, 1))// But you can have the property only once.
);
}
代码示例来源:origin: Galigator/openllet
@Test
public void objectMaxSubCls()
{
assertNonLocal(subClassOf(max(ObjectProperty("p"), 2, Thing), Class("A")), Class("A"));
assertNonLocal(subClassOf(max(ObjectProperty("p"), 2, Thing), Class("A")), Class("A"), ObjectProperty("p"));
assertNonLocal(subClassOf(max(ObjectProperty("p"), 2, Nothing), Class("A")), Class("A"));
assertNonLocal(subClassOf(max(ObjectProperty("p"), 2, Nothing), Class("A")), Class("A"), ObjectProperty("p"));
assertNonLocal(subClassOf(max(ObjectProperty("p"), 2, Class("B")), Class("A")), Class("A"));
assertNonLocal(subClassOf(max(ObjectProperty("p"), 2, Class("B")), Class("A")), Class("A"), ObjectProperty("p"));
assertNonLocal(subClassOf(max(ObjectProperty("p"), 2, Class("B")), Class("A")), Class("A"), ObjectProperty("p"), Class("B"));
}
代码示例来源:origin: Galigator/openllet
@Test
public void objectMaxSubCls()
{
assertNonLocal(subClassOf(max(ObjectProperty("p"), 2, Thing), Class("A")), Class("A"));
assertNonLocal(subClassOf(max(ObjectProperty("p"), 2, Thing), Class("A")), Class("A"), ObjectProperty("p"));
assertNonLocal(subClassOf(max(ObjectProperty("p"), 2, Nothing), Class("A")), Class("A"));
assertNonLocal(subClassOf(max(ObjectProperty("p"), 2, Nothing), Class("A")), Class("A"), ObjectProperty("p"));
assertNonLocal(subClassOf(max(ObjectProperty("p"), 2, Class("B")), Class("A")), Class("A"));
assertNonLocal(subClassOf(max(ObjectProperty("p"), 2, Class("B")), Class("A")), Class("A"), ObjectProperty("p"));
assertNonLocal(subClassOf(max(ObjectProperty("p"), 2, Class("B")), Class("A")), Class("A"), ObjectProperty("p"), Class("B"));
}
代码示例来源:origin: Galigator/openllet
@Test
public void testNone()
{
_pattern.setMaxAllowed(3);
final OWLClassExpression maxCard = OWL.max(_pro[0], 2);
final OWLAxiom axiom = OWL.subClassOf(_cls[0], maxCard);
assertNull(_pattern.match(_ontology, axiom));
assertFalse(_pattern.isFixable());
}
代码示例来源:origin: Galigator/openllet
@Test
public void userDefinedDatatype2() throws Exception
{
final OWLAxiom[] axioms = { OWL.classAssertion(_a, _A), OWL.subClassOf(_A, OWL.and(OWL.max(dp, 1), OWL.some(dp, OWL.restrict(XSD.INTEGER, OWL.minExclusive(10))))), OWL.equivalentClasses(_B, OWL.and(OWL.min(dp, 1), OWL.all(dp, OWL.restrict(XSD.INTEGER, OWL.minExclusive(5))))) };
setupGenerators(Stream.of(axioms));
testExplanations(OWL.classAssertion(_a, _B), 0, axioms);
}
代码示例来源:origin: Galigator/openllet
@Test
public void testStage1ZeroCard() throws OWLException
{
addAxiom(OWL.subClassOf(_cls[0], OWL.or(OWL.min(_pro[0], 0, _cls[1]), OWL.min(_pro[0], 0, _cls[2]))));
addAxiom(OWL.subClassOf(_cls[1], OWL.max(_pro[0], 0, _cls[0])));
addAxiom(OWL.subClassOf(_cls[1], OWL.max(_pro[0], 0, _cls[3])));
addAxiom(OWL.subClassOf(_cls[2], OWL.exactly(_pro[0], 0, _cls[3])));
addAxiom(OWL.subClassOf(_cls[2], OWL.exactly(_pro[0], 0, _cls[4])));
addAxiom(OWL.subClassOf(_cls[3], OWL.exactly(_pro[0], 0, _cls[0])));
addAxiom(OWL.subClassOf(_cls[4], OWL.exactly(_pro[0], 0, _cls[0])));
final int EXPECTED_SIZE = 0;
_pattern.setMaxTreeSize(EXPECTED_SIZE);
final List<Lint> lints = _pattern.match(_ontology);
assertEquals(0, lints.size());
}
代码示例来源:origin: Galigator/openllet
@Test
public void testOneMax()
{
_pattern.setMaxAllowed(2);
final OWLClassExpression maxCard = OWL.max(_pro[0], 3);
final OWLAxiom axiom = OWL.disjointClasses(_cls[0], maxCard);
final Lint lint = _pattern.match(_ontology, axiom);
assertNotNull(lint);
assertSame(_pattern, lint.getPattern());
assertEquals(1, lint.getParticipatingAxioms().size());
assertNull(lint.getLintFixer());
assertEquals(3.0, lint.getSeverity().doubleValue(), DOUBLE_DELTA);
assertSame(_ontology, lint.getParticipatingOntology());
}
代码示例来源:origin: Galigator/openllet
@Test
public void testNested()
{
_pattern.setMaxAllowed(2);
final OWLClassExpression exactCard = OWL.exactly(_pro[0], 3, _cls[0]);
final OWLClassExpression and = OWL.or(_cls[1], exactCard);
OWLAxiom axiom = OWL.subClassOf(and, _cls[2]);
assertNotNull(_pattern.match(_ontology, axiom));
final OWLClassExpression minCard = OWL.min(_pro[0], 3, _cls[0]);
final OWLClassExpression union = OWL.or(_cls[1], minCard);
axiom = OWL.subClassOf(union, _cls[2]);
assertNotNull(_pattern.match(_ontology, axiom));
final OWLClassExpression maxCard1 = OWL.max(_pro[0], 3, _cls[1]);
final OWLClassExpression and2 = OWL.and(_cls[2], maxCard1);
axiom = OWL.subClassOf(and2, _cls[3]);
assertNotNull(_pattern.match(_ontology, axiom));
final OWLClassExpression maxCard2 = OWL.max(_pro[0], 2, _cls[2]);
axiom = OWL.subClassOf(_cls[4], maxCard2);
assertNull(_pattern.match(_ontology, axiom));
}
}
代码示例来源:origin: Galigator/openllet
@Test
public void testInvalidTransitivity()
{
final String ns = "http://www.example.org/test#";
final OWLClass C = Class(ns + "C");
final OWLObjectProperty p1 = ObjectProperty(ns + "p1");
final OWLObjectProperty p2 = ObjectProperty(ns + "p2");
final OWLIndividual x = Individual(ns + "x");
final OWLIndividual y = Individual(ns + "y");
final OWLIndividual z = Individual(ns + "z");
final OWLOntology ont = OWL.Ontology(transitive(p1), classAssertion(x, all(p1, C)), propertyAssertion(x, p1, y), propertyAssertion(y, p1, z));
OpenlletReasoner reasoner = OpenlletReasonerFactory.getInstance().createReasoner(ont);
assertTrue(reasoner.isEntailed(classAssertion(y, C)));
assertTrue(reasoner.isEntailed(classAssertion(z, C)));
final OWLAxiom[] axioms = new OWLAxiom[] { functional(p1), inverseFunctional(p1), irreflexive(p1), asymmetric(p1), disjointProperties(p1, p2), subClassOf(C, min(p1, 2)), classAssertion(x, max(p1, 3)), disjointClasses(C, min(p1, 2)) };
for (final OWLAxiom axiom : axioms)
{
ont.add(axiom);
reasoner = OpenlletReasonerFactory.getInstance().createReasoner(ont);
assertTrue(axiom.toString(), reasoner.isEntailed(classAssertion(y, C)));
assertFalse(axiom.toString(), reasoner.isEntailed(classAssertion(z, C)));
ont.remove(axiom);
}
}
内容来源于网络,如有侵权,请联系作者删除!