Pellet lint over DUL

Krzysztof,

I have "Pellet-linted" the ontologies produced by the XG: http://www.w3.org/2005/Incubator/ssn/wiki/Special:ListFiles

I'm puzzled by the "EquivalentAndSubclassAxiomPattern " and "ExistentialExplosionPattern" lints corresponding to the DUL import (see below)
Can you investigate while you are at ISWC ? And ask the DUL authors and/or other DUL users if they are already aware of these issues?

Ta
Laurent


Results: (for pellet lint ssn)

No RDF lints found.

No OWL lints found for ontology <http://purl.oclc.org/NET/ssnx/ssn>.

==================================================================
OWL Lints found for ontology <http://www.loa-cnr.it/ontologies/DUL.owl>:
[EquivalentAndSubclassAxiomPattern: A named concept appears in equivalent axiom(s) and on the left-hand side of a subclass axiom]
<http://www.loa-cnr.it/ontologies/DUL.owl#Agent> <http://www.loa-cnr.it/ontologies/DUL.owl#InformationEntity> <http://www.loa-cnr.it/ontologies/DUL.owl#InformationRealization> <http://www.loa-cnr.it/ontologies/DUL.owl#LocalConcept> <http://www.loa-cnr.it/ontologies/DUL.owl#Object> <http://www.loa-cnr.it/ontologies/DUL.owl#Person> <http://www.loa-cnr.it/ontologies/DUL.owl#PlanExecution> <http://www.loa-cnr.it/ontologies/DUL.owl#SocialObject> <http://www.loa-cnr.it/ontologies/DUL.owl#WorkflowExecution>

[ExistentialExplosionPattern (MaxTreeSize = 10000): Concepts/Individuals are involved in a large some/min/exact value restrictions tree/loop - maximum recommended number of generated nodes is 10000]
 - [3.87E10] <http://www.loa-cnr.it/ontologies/DUL.owl#Object> <http://www.loa-cnr.it/ontologies/DUL.owl#PhysicalAgent> <http://www.loa-cnr.it/ontologies/DUL.owl#Plan> <http://www.loa-cnr.it/ontologies/DUL.owl#InformationRealization> <http://www.loa-cnr.it/ontologies/DUL.owl#Goal> <http://www.loa-cnr.it/ontologies/DUL.owl#PhysicalObject> ... and 5 more.

==================================================================
OWL Lints found for ontology ...  and its import closure = same message



Results: (for pellet lint ssn-phenonet )

Same message for DUL as above
The rest is fine

No OWL lints found for ontology <http://purl.oclc.org/NET/ssnx/meteo/phenonet>.

No OWL lints found for ontology <http://purl.oclc.org/NET/ssnx/cf/cf-property>.

No OWL lints found for ontology <http://purl.oclc.org/NET/ssnx/qu/qu>.

No OWL lints found for ontology <http://purl.oclc.org/NET/ssnx/ssn>.

No OWL lints found for ontology <http://purl.oclc.org/NET/ssnx/meteo/aws>.

No OWL lints found for ontology <http://purl.oclc.org/NET/ssnx/cf/cf-feature>.

No OWL lints found for ontology <http://purl.oclc.org/NET/ssnx/qu/qu-rec20>.