Right. If it's OWL Full then Pellet is not going to give any guarantees on decidability.
-- Scott On Feb 26, 8:59 am, "Bohms, H.M. (Michel)" <[email protected]> wrote: > Dear Scot, > > My problematic ontology is/was in my next posting. > Its quite small and all local. > The species is OWL Full. > > Guess caused (mostly) by spin extension....looking at the results > from:http://www.mygrid.org.uk/OWL/Validator > > OWL Full > > http://spinrdf.org/sp#expressionrdfs:subPropertyOfhttp://spinrdf.org/sp#systemProperty. > Only allowed between two DatatypeProperties or > ObjectProperties.http://spinrdf.org/sp#whererdfs:subPropertyOfhttp://spinrdf.org/sp#systemProperty. > Only allowed between two DatatypeProperties or > ObjectProperties.http://spinrdf.org/sp#arg1rdfs:subPropertyOfhttp://spinrdf.org/sp#arg. > Only allowed between two DatatypeProperties or > ObjectProperties.http://spinrdf.org/sp#textrdfs:subPropertyOfhttp://spinrdf.org/sp#systemProperty. > Only allowed between two DatatypeProperties or > ObjectProperties.http://spinrdf.org/sp#arg2rdfs:subPropertyOfhttp://spinrdf.org/sp#arg. > Only allowed between two DatatypeProperties or > ObjectProperties.http://spinrdf.org/sp#resultNodesrdfs:subPropertyOfhttp://spinrdf.org/sp#systemProperty. > Only allowed between two DatatypeProperties or > ObjectProperties.http://spinrdf.org/sp#offsetrdfs:subPropertyOfhttp://spinrdf.org/sp#systemProperty. > Only allowed between two DatatypeProperties or > ObjectProperties.http://spinrdf.org/sp#distinctrdfs:subPropertyOfhttp://spinrdf.org/sp#systemProperty. > Only allowed between two DatatypeProperties or > ObjectProperties.http://spinrdf.org/sp#predicaterdfs:subPropertyOfhttp://spinrdf.org/sp#systemProperty. > Only allowed between two DatatypeProperties or > ObjectProperties.http://spinrdf.org/sp#pathrdfs:subPropertyOfhttp://spinrdf.org/sp#systemProperty. > Only allowed between two DatatypeProperties or > ObjectProperties.http://spinrdf.org/sp#objectrdfs:subPropertyOfhttp://spinrdf.org/sp#systemProperty. > Only allowed between two DatatypeProperties or > ObjectProperties.http://spinrdf.org/sp#varNamerdfs:subPropertyOfhttp://spinrdf.org/sp#systemProperty. > Only allowed between two DatatypeProperties or > ObjectProperties.http://spinrdf.org/sp#subjectrdfs:subPropertyOfhttp://spinrdf.org/sp#systemProperty. > Only allowed between two DatatypeProperties or > ObjectProperties.http://spinrdf.org/sp#modMinrdfs:subPropertyOfhttp://spinrdf.org/sp#systemProperty. > Only allowed between two DatatypeProperties or > ObjectProperties.http://spinrdf.org/sp#variablerdfs:subPropertyOfhttp://spinrdf.org/sp#systemProperty. > Only allowed between two DatatypeProperties or > ObjectProperties.http://spinrdf.org/sp#path1rdfs:subPropertyOfhttp://spinrdf.org/sp#systemProperty. > Only allowed between two DatatypeProperties or > ObjectProperties.http://spinrdf.org/sp#fromrdfs:subPropertyOfhttp://spinrdf.org/sp#systemProperty. > Only allowed between two DatatypeProperties or > ObjectProperties.http://spinrdf.org/sp#path2rdfs:subPropertyOfhttp://spinrdf.org/sp#systemProperty. > Only allowed between two DatatypeProperties or > ObjectProperties.http://spinrdf.org/sp#arg5rdfs:subPropertyOfhttp://spinrdf.org/sp#arg. > Only allowed between two DatatypeProperties or > ObjectProperties.http://spinrdf.org/sp#arg4rdfs:subPropertyOfhttp://spinrdf.org/sp#arg. > Only allowed between two DatatypeProperties or > ObjectProperties.http://spinrdf.org/sp#graphNameNoderdfs:subPropertyOfhttp://spinrdf.org/sp#systemProperty. > Only allowed between two DatatypeProperties or > ObjectProperties.http://spinrdf.org/sp#elementsrdfs:subPropertyOfhttp://spinrdf.org/sp#systemProperty. > Only allowed between two DatatypeProperties or > ObjectProperties.http://spinrdf.org/sp#limitrdfs:subPropertyOfhttp://spinrdf.org/sp#systemProperty. > Only allowed between two DatatypeProperties or > ObjectProperties.http://spinrdf.org/sp#arg3rdfs:subPropertyOfhttp://spinrdf.org/sp#arg. > Only allowed between two DatatypeProperties or > ObjectProperties.http://spinrdf.org/sp#reducedrdfs:subPropertyOfhttp://spinrdf.org/sp#systemProperty. > Only allowed between two DatatypeProperties or > ObjectProperties.http://spinrdf.org/sp#orderByrdfs:subPropertyOfhttp://spinrdf.org/sp#systemProperty. > Only allowed between two DatatypeProperties or > ObjectProperties.http://spinrdf.org/sp#asrdfs:subPropertyOfhttp://spinrdf.org/sp#systemProperty. > Only allowed between two DatatypeProperties or > ObjectProperties.http://spinrdf.org/sp#templatesrdfs:subPropertyOfhttp://spinrdf.org/sp#systemProperty. > Only allowed between two DatatypeProperties or > ObjectProperties.http://spinrdf.org/sp#subPathrdfs:subPropertyOfhttp://spinrdf.org/sp#systemProperty. > Only allowed between two DatatypeProperties or > ObjectProperties.http://spinrdf.org/sp#groupByrdfs:subPropertyOfhttp://spinrdf.org/sp#systemProperty. > Only allowed between two DatatypeProperties or > ObjectProperties.http://spinrdf.org/sp#fromNamedrdfs:subPropertyOfhttp://spinrdf.org/sp#systemProperty. > Only allowed between two DatatypeProperties or > ObjectProperties.http://spinrdf.org/sp#resultVariablesrdfs:subPropertyOfhttp://spinrdf.org/sp#systemProperty. > Only allowed between two DatatypeProperties or > ObjectProperties.http://spinrdf.org/sp#modMaxrdfs:subPropertyOfhttp://spinrdf.org/sp#systemProperty. > Only allowed between two DatatypeProperties or > ObjectProperties.http://spinrdf.org/spin#abstractrdfs:subPropertyOfhttp://spinrdf.org/spin#systemProperty. > Only allowed between two DatatypeProperties or > ObjectProperties.http://spinrdf.org/spin#ruleIndexrdfs:subPropertyOfhttp://spinrdf.org/spin#systemProperty. > Only allowed between two DatatypeProperties or > ObjectProperties.http://spinrdf.org/spin#bodyrdfs:subPropertyOfhttp://spinrdf.org/spin#query. > Only allowed between two DatatypeProperties or > ObjectProperties.http://spinrdf.org/spin#rulerdfs:subPropertyOfhttp://spinrdf.org/spin#query. > Only allowed between two DatatypeProperties or > ObjectProperties.http://spinrdf.org/spin#returnTyperdfs:subPropertyOfhttp://spinrdf.org/spin#systemProperty. > Only allowed between two DatatypeProperties or > ObjectProperties.http://spinrdf.org/spin#symbolrdfs:subPropertyOfhttp://spinrdf.org/spin#systemProperty. > Only allowed between two DatatypeProperties or > ObjectProperties.http://spinrdf.org/spin#violationPathrdfs:subPropertyOfhttp://spinrdf.org/spin#systemProperty. > Only allowed between two DatatypeProperties or > ObjectProperties.http://spinrdf.org/spin#violationRootrdfs:subPropertyOfhttp://spinrdf.org/spin#systemProperty. > Only allowed between two DatatypeProperties or > ObjectProperties.http://spinrdf.org/spin#constraintrdfs:subPropertyOfhttp://spinrdf.org/spin#query. > Only allowed between two DatatypeProperties or > ObjectProperties.http://spinrdf.org/spin#constructorrdfs:subPropertyOfhttp://spinrdf.org/spin#query. > Only allowed between two DatatypeProperties or > ObjectProperties.http://spinrdf.org/spin#labelTemplaterdfs:subPropertyOfhttp://spinrdf.org/spin#systemProperty. > Only allowed between two DatatypeProperties or ObjectProperties. > Undefined Datatype:http://www.tno.nl/mapping2#IfcProfileDef > Data Range with multiple > oneOfs!:http://www.tno.nl/mapping2#IfcPositiveLengthMeasure > Data Range with multiple > oneOfs!:http://www.tno.nl/mapping2#IfcPositiveLengthMeasure > Data Range with multiple > oneOfs!:http://www.tno.nl/mapping2#IfcPositiveLengthMeasure > Data Range with multiple > oneOfs!:http://www.tno.nl/mapping2#IfcPositiveLengthMeasure > Untyped Object Property:http://www.w3.org/2006/12/owl11#onDataRange > Untyped Object Property:http://spinrdf.org/sp#limit > Untyped Object Property:http://spinrdf.org/sp#reduced > Untyped Object Property:http://spinrdf.org/sp#path2 > Untyped Object Property:http://spinrdf.org/spin#symbol > Untyped Object Property:http://spinrdf.org/spin#violationPath > Untyped Object Property:http://spinrdf.org/sp#variable > Untyped Object Property:http://spinrdf.org/sp#expression > Untyped Object Property:http://spinrdf.org/sp#fromNamed > Untyped Object Property:http://spinrdf.org/spin#violationRoot > Untyped Object Property:http://spinrdf.org/sp#templates > Untyped Object Property:http://spinrdf.org/spin#constructor > Untyped Object Property:http://spinrdf.org/sp#varName > Untyped Object Property:http://spinrdf.org/sp#orderBy > Untyped Object Property:http://spinrdf.org/sp#modMax > Untyped Object Property:http://spinrdf.org/spin#returnType > Untyped Object Property:http://spinrdf.org/sp#resultVariables > Untyped Object Property:http://spinrdf.org/spin#ruleIndex > Untyped Object Property:http://spinrdf.org/sp#subject > Untyped Object Property:http://spinrdf.org/sp#from > Untyped Object Property:http://spinrdf.org/spin#query > Untyped Object Property:http://www.w3.org/1999/02/22-rdf-syntax-ns#rest > Untyped Object Property:http://spinrdf.org/sp#where > Untyped Object Property:http://spinrdf.org/sp#graphNameNode > Untyped Object Property:http://spinrdf.org/sp#groupBy > Untyped Object Property:http://spinrdf.org/spin#body > Untyped Object Property:http://spinrdf.org/spin#labelTemplate > Untyped Object Property:http://spinrdf.org/sp#modMin > Untyped Object Property:http://spinrdf.org/spin#constraint > Untyped Object Property:http://spinrdf.org/spl#predicate > Untyped Object Property:http://spinrdf.org/sp#path1 > Untyped Object Property:http://spinrdf.org/sp#resultNodes > Untyped Object Property:http://spinrdf.org/spin#abstract > Untyped Object Property:http://spinrdf.org/sp#object > Untyped Object Property:http://spinrdf.org/spin#rule > Untyped Object Property:http://spinrdf.org/sp#predicate > Untyped Object Property:http://spinrdf.org/sp#distinct > Untyped Object Property:http://spinrdf.org/sp#offset > Untyped Object Property:http://spinrdf.org/sp#as > Untyped Object Property:http://www.w3.org/1999/02/22-rdf-syntax-ns#first > Untyped Object Property:http://spinrdf.org/sp#elements > Untyped Object Property:http://spinrdf.org/sp#path > Untyped Data Property:http://spinrdf.org/spin#labelTemplate > Untyped Data Property:http://spinrdf.org/spl#maxCount > Untyped Data Property:http://spinrdf.org/sp#text > Untyped Data ... > > read more » --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "TopBraid Composer Users" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/topbraid-composer-users?hl=en -~----------~----~----~----~------~----~------~--~---
