Re: [ExternalEmail] Pellet lint over DUL

I had a quick look - but I'm not sure what error/problem the tool is  
finding here.

Is the problem for the first one simply that these concepts are  
defined with both an equivalence axiom and a subconcept restriction?   
That seems fine to me. I guess in some instances that might indicate  
an modelling mistake, but here it looks like exactly what was intended.

For the second I can't really find the issue.

Krzysztof, anyone else?

Michael




On 06/11/2010, at 2:15 , Laurent.Lefort@csiro.au wrote:

> 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 
> >.
>