public DataHasValue(
IDataPropertyExpression dataPropertyExpression,
object value
) : base(dataPropertyExpression)
{
_value = value;
}
protected DataPropertyAxiom(
IOntology ontology,
IDataPropertyExpression dataPropertyExpression
) : base(ontology)
{
_dataPropertyExpression = dataPropertyExpression;
}
public DataAllValuesFrom(
IDataPropertyExpression dataPropertyExpression,
IDataRange dataRange
) : base(dataPropertyExpression)
{
_dataRange = dataRange;
}
protected DataCardinality(
IDataPropertyExpression dataPropertyExpression,
int cardinality,
IDataRange dataRange
) : base(dataPropertyExpression)
{
_cardinality = cardinality;
_dataRange = dataRange;
}
public DataPropertyRange(
IOntology ontology,
IDataPropertyExpression dataPropertyExpression,
IDataRange range
) : base(
ontology,
dataPropertyExpression)
{
_range = range;
}
public DataExactCardinality(
IDataPropertyExpression dataPropertyExpression,
int cardinality,
IDataRange dataRange = null
) : base(
dataPropertyExpression,
cardinality,
dataRange)
{
}
public DataPropertyDomain(
IOntology ontology,
IDataPropertyExpression dataPropertyExpression,
IClassExpression domain
) : base(
ontology,
dataPropertyExpression)
{
_domain = domain;
}
public DataPropertyAssertion(
IOntology ontology,
IDataPropertyExpression dataPropertyExpression,
INamedIndividual sourceIndividual,
object targetValue
) : base(
ontology,
dataPropertyExpression,
sourceIndividual)
{
_dataPropertyExpression = dataPropertyExpression;
_targetValue = targetValue;
}
private bool AreEqual(
IDataPropertyExpression dataPropertyExpression,
object lhs,
object rhs
)
{
var lhsValues = DataPropertyValues(
dataPropertyExpression,
lhs);
var rhsValues = DataPropertyValues(
dataPropertyExpression,
rhs);
return(dataPropertyExpression is IFunctionalDataProperty?
Equals(
lhsValues.FirstOrDefault(),
rhsValues.FirstOrDefault()) :
lhsValues.ToHashSet().SetEquals(lhsValues.ToHashSet()));
}
protected DataPropertyRestriction(
IDataPropertyExpression dataPropertyExpression
) : base(dataPropertyExpression)
{
_dataPropertyExpression = dataPropertyExpression;
}
