case classDataPropertyEquivalentToDetails(details: List[(OWLDataPropertyExpression, List[OWLAnnotation])]) extends DataPropertyDetails with Product with Serializable
Linear Supertypes
Serializable, Serializable, Product, Equals, DataPropertyDetails, AnyRef, Any