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#expression rdfs:subPropertyOf http://spinrdf.org/sp#systemProperty. Only allowed between two DatatypeProperties or ObjectProperties. http://spinrdf.org/sp#where rdfs:subPropertyOf http://spinrdf.org/sp#systemProperty. Only allowed between two DatatypeProperties or ObjectProperties. http://spinrdf.org/sp#arg1 rdfs:subPropertyOf http://spinrdf.org/sp#arg. Only allowed between two DatatypeProperties or ObjectProperties. http://spinrdf.org/sp#text rdfs:subPropertyOf http://spinrdf.org/sp#systemProperty. Only allowed between two DatatypeProperties or ObjectProperties. http://spinrdf.org/sp#arg2 rdfs:subPropertyOf http://spinrdf.org/sp#arg. Only allowed between two DatatypeProperties or ObjectProperties. http://spinrdf.org/sp#resultNodes rdfs:subPropertyOf http://spinrdf.org/sp#systemProperty. Only allowed between two DatatypeProperties or ObjectProperties. http://spinrdf.org/sp#offset rdfs:subPropertyOf http://spinrdf.org/sp#systemProperty. Only allowed between two DatatypeProperties or ObjectProperties. http://spinrdf.org/sp#distinct rdfs:subPropertyOf http://spinrdf.org/sp#systemProperty. Only allowed between two DatatypeProperties or ObjectProperties. http://spinrdf.org/sp#predicate rdfs:subPropertyOf http://spinrdf.org/sp#systemProperty. Only allowed between two DatatypeProperties or ObjectProperties. http://spinrdf.org/sp#path rdfs:subPropertyOf http://spinrdf.org/sp#systemProperty. Only allowed between two DatatypeProperties or ObjectProperties. http://spinrdf.org/sp#object rdfs:subPropertyOf http://spinrdf.org/sp#systemProperty. Only allowed between two DatatypeProperties or ObjectProperties. http://spinrdf.org/sp#varName rdfs:subPropertyOf http://spinrdf.org/sp#systemProperty. Only allowed between two DatatypeProperties or ObjectProperties. http://spinrdf.org/sp#subject rdfs:subPropertyOf http://spinrdf.org/sp#systemProperty. Only allowed between two DatatypeProperties or ObjectProperties. http://spinrdf.org/sp#modMin rdfs:subPropertyOf http://spinrdf.org/sp#systemProperty. Only allowed between two DatatypeProperties or ObjectProperties. http://spinrdf.org/sp#variable rdfs:subPropertyOf http://spinrdf.org/sp#systemProperty. Only allowed between two DatatypeProperties or ObjectProperties. http://spinrdf.org/sp#path1 rdfs:subPropertyOf http://spinrdf.org/sp#systemProperty. Only allowed between two DatatypeProperties or ObjectProperties. http://spinrdf.org/sp#from rdfs:subPropertyOf http://spinrdf.org/sp#systemProperty. Only allowed between two DatatypeProperties or ObjectProperties. http://spinrdf.org/sp#path2 rdfs:subPropertyOf http://spinrdf.org/sp#systemProperty. Only allowed between two DatatypeProperties or ObjectProperties. http://spinrdf.org/sp#arg5 rdfs:subPropertyOf http://spinrdf.org/sp#arg. Only allowed between two DatatypeProperties or ObjectProperties. http://spinrdf.org/sp#arg4 rdfs:subPropertyOf http://spinrdf.org/sp#arg. Only allowed between two DatatypeProperties or ObjectProperties. http://spinrdf.org/sp#graphNameNode rdfs:subPropertyOf http://spinrdf.org/sp#systemProperty. Only allowed between two DatatypeProperties or ObjectProperties. http://spinrdf.org/sp#elements rdfs:subPropertyOf http://spinrdf.org/sp#systemProperty. Only allowed between two DatatypeProperties or ObjectProperties. http://spinrdf.org/sp#limit rdfs:subPropertyOf http://spinrdf.org/sp#systemProperty. Only allowed between two DatatypeProperties or ObjectProperties. http://spinrdf.org/sp#arg3 rdfs:subPropertyOf http://spinrdf.org/sp#arg. Only allowed between two DatatypeProperties or ObjectProperties. http://spinrdf.org/sp#reduced rdfs:subPropertyOf http://spinrdf.org/sp#systemProperty. Only allowed between two DatatypeProperties or ObjectProperties. http://spinrdf.org/sp#orderBy rdfs:subPropertyOf http://spinrdf.org/sp#systemProperty. Only allowed between two DatatypeProperties or ObjectProperties. http://spinrdf.org/sp#as rdfs:subPropertyOf http://spinrdf.org/sp#systemProperty. Only allowed between two DatatypeProperties or ObjectProperties. http://spinrdf.org/sp#templates rdfs:subPropertyOf http://spinrdf.org/sp#systemProperty. Only allowed between two DatatypeProperties or ObjectProperties. http://spinrdf.org/sp#subPath rdfs:subPropertyOf http://spinrdf.org/sp#systemProperty. Only allowed between two DatatypeProperties or ObjectProperties. http://spinrdf.org/sp#groupBy rdfs:subPropertyOf http://spinrdf.org/sp#systemProperty. Only allowed between two DatatypeProperties or ObjectProperties. http://spinrdf.org/sp#fromNamed rdfs:subPropertyOf http://spinrdf.org/sp#systemProperty. Only allowed between two DatatypeProperties or ObjectProperties. http://spinrdf.org/sp#resultVariables rdfs:subPropertyOf http://spinrdf.org/sp#systemProperty. Only allowed between two DatatypeProperties or ObjectProperties. http://spinrdf.org/sp#modMax rdfs:subPropertyOf http://spinrdf.org/sp#systemProperty. Only allowed between two DatatypeProperties or ObjectProperties. http://spinrdf.org/spin#abstract rdfs:subPropertyOf http://spinrdf.org/spin#systemProperty. Only allowed between two DatatypeProperties or ObjectProperties. http://spinrdf.org/spin#ruleIndex rdfs:subPropertyOf http://spinrdf.org/spin#systemProperty. Only allowed between two DatatypeProperties or ObjectProperties. http://spinrdf.org/spin#body rdfs:subPropertyOf http://spinrdf.org/spin#query. Only allowed between two DatatypeProperties or ObjectProperties. http://spinrdf.org/spin#rule rdfs:subPropertyOf http://spinrdf.org/spin#query. Only allowed between two DatatypeProperties or ObjectProperties. http://spinrdf.org/spin#returnType rdfs:subPropertyOf http://spinrdf.org/spin#systemProperty. Only allowed between two DatatypeProperties or ObjectProperties. http://spinrdf.org/spin#symbol rdfs:subPropertyOf http://spinrdf.org/spin#systemProperty. Only allowed between two DatatypeProperties or ObjectProperties. http://spinrdf.org/spin#violationPath rdfs:subPropertyOf http://spinrdf.org/spin#systemProperty. Only allowed between two DatatypeProperties or ObjectProperties. http://spinrdf.org/spin#violationRoot rdfs:subPropertyOf http://spinrdf.org/spin#systemProperty. Only allowed between two DatatypeProperties or ObjectProperties. http://spinrdf.org/spin#constraint rdfs:subPropertyOf http://spinrdf.org/spin#query. Only allowed between two DatatypeProperties or ObjectProperties. http://spinrdf.org/spin#constructor rdfs:subPropertyOf http://spinrdf.org/spin#query. Only allowed between two DatatypeProperties or ObjectProperties. http://spinrdf.org/spin#labelTemplate rdfs:subPropertyOf http://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 Property: http://spinrdf.org/spin#symbol Untyped Data Property: http://www.w3.org/2006/12/owl11#minInclusive Untyped Data Property: http://spinrdf.org/spl#minCount Untyped Data Property: http://spinrdf.org/sp#varName Untyped Data Property: http://spinrdf.org/spin#abstract Untyped Class: http://spinrdf.org/sp#Count Untyped Class: http://www.w3.org/2001/XMLSchema#integer Untyped Class: http://spinrdf.org/sp#AltPath Untyped Class: http://www.w3.org/2000/01/rdf-schema#Class Untyped Class: http://spinrdf.org/sp#ModPath Untyped Class: http://www.w3.org/2001/XMLSchema#long Untyped Class: http://spinrdf.org/sp#Triple Untyped Class: http://spinrdf.org/sp#Filter Untyped Class: http://spinrdf.org/sp#TriplePattern Untyped Class: http://spinrdf.org/sp#TripleTemplate Untyped Class: http://www.w3.org/2000/01/rdf-schema#Resource Untyped Class: http://spinrdf.org/sp#ElementList Untyped Class: http://spinrdf.org/sp#Aggregation Untyped Class: http://www.w3.org/2001/XMLSchema#boolean Untyped Class: http://spinrdf.org/sp#Path Untyped Class: http://spinrdf.org/sp#Asc Untyped Class: http://spinrdf.org/sp#Desc Untyped Class: http://spinrdf.org/spin#Module Untyped Class: http://spinrdf.org/spin#Modules Untyped Class: http://spinrdf.org/sp#Optional Untyped Class: http://spinrdf.org/sp#Describe Untyped Class: http://spinrdf.org/sp#Element Untyped Class: http://spinrdf.org/sp#OrderByCondition Untyped Class: http://spinrdf.org/sp#Query Untyped Class: http://spinrdf.org/sp#Ask Untyped Class: http://spinrdf.org/spin#Templates Untyped Class: http://spinrdf.org/sp#Let Untyped Class: http://www.w3.org/1999/02/22-rdf-syntax-ns#List Untyped Class: http://spinrdf.org/sp#Tuple Untyped Class: http://spinrdf.org/spin#LibraryOntology Untyped Class: http://spinrdf.org/spin#Functions Untyped Class: http://spinrdf.org/sp#Construct Untyped Class: http://spinrdf.org/spin#Function Untyped Class: http://spinrdf.org/sp#NamedGraph Untyped Class: http://spinrdf.org/sp#ReversePath Untyped Class: http://spinrdf.org/sp#Union Untyped Class: http://spinrdf.org/sp#SystemClass Untyped Class: http://spinrdf.org/sp#Variable Untyped Class: http://spinrdf.org/spl#ConstructDefaultValues Untyped Class: http://spinrdf.org/spin#Template Untyped Class: http://spinrdf.org/sp#TriplePath Untyped Class: http://spinrdf.org/sp#SeqPath Untyped Class: http://spinrdf.org/sp#Sum Untyped Class: http://spinrdf.org/spl#Attribute Untyped Class: http://www.w3.org/2002/07/owl#Ontology Untyped Class: http://spinrdf.org/sp#ElementGroup Untyped Class: http://spinrdf.org/sp#Select Untyped Individual: http://www.tno.nl/mapping2#genid2 Untyped Individual: http://www.tno.nl/mapping2#genid35 Untyped Individual: http://www.tno.nl/mapping2#genid-A6 Untyped Individual: http://www.tno.nl/mapping2#genid-A10 Untyped Individual: http://spinrdf.org/sp#expression Untyped Individual: http://spinrdf.org/spin#systemProperty Untyped Individual: http://www.w3.org/1999/02/22-rdf-syntax-ns#nil Untyped Individual: http://www.tno.nl/mapping2#genid26 Untyped Individual: http://www.tno.nl/mapping2#height Untyped Individual: http://www.tno.nl/mapping2#genid11 Untyped Individual: http://spinrdf.org/sp#arg Untyped Individual: http://www.tno.nl/mapping2#genid-A4 Untyped Individual: http://www.tno.nl/mapping2#genid-A12 Untyped Individual: http://www.tno.nl/mapping2#IfcExtrudedAreaSolid Untyped Individual: http://www.tno.nl/mapping2#Depth Untyped Individual: http://www.tno.nl/mapping2#genid-A9 Untyped Individual: http://www.tno.nl/mapping2#XDim Untyped Individual: http://www.tno.nl/mapping2#genid43 Untyped Individual: http://www.tno.nl/mapping2#genid-A8 Untyped Individual: http://www.tno.nl/mapping2#IfcPositiveLengthMeasure Untyped Individual: http://www.tno.nl/mapping2#lenght Untyped Individual: http://spinrdf.org/sp#subPath Untyped Individual: http://www.tno.nl/mapping2#genid9 Untyped Individual: http://spinrdf.org/sp#arg1 Untyped Individual: http://www.tno.nl/mapping2#genid19 Untyped Individual: http://www.w3.org/2001/XMLSchema#string Untyped Individual: http://spinrdf.org/spin#body Untyped Individual: http://www.tno.nl/mapping2#genid6 Untyped Individual: http://spinrdf.org/sp#arg3 Untyped Individual: http://www.tno.nl/mapping2#genid39 Untyped Individual: http://www.tno.nl/mapping2#genid31 Untyped Individual: http://www.tno.nl/mapping2#genid12 Untyped Individual: http://www.tno.nl/mapping2#SweptArea Untyped Individual: http://www.tno.nl/mapping2#width Untyped Individual: http://www.tno.nl/mapping2#genid-A11 Untyped Individual: http://www.tno.nl/mapping2#ZDim Untyped Individual: http://www.tno.nl/mapping2#genid-A5 Untyped Individual: http://www.tno.nl/mapping2#YDim Untyped Individual: http://spinrdf.org/sp#object Untyped Individual: http://www.tno.nl/mapping2#genid41 Untyped Individual: http://www.tno.nl/mapping2#IfcBoundingBox Untyped Individual: http://www.tno.nl/mapping2#genid40 Untyped Individual: http://www.tno.nl/mapping2#genid5 Untyped Individual: http://www.tno.nl/mapping2#genid15 Untyped Individual: http://www.tno.nl/mapping2#genid4 Untyped Individual: http://spinrdf.org/sp#arg2 Untyped Individual: http://www.tno.nl/mapping2#genid10 Untyped Individual: http://www.tno.nl/mapping2#genid13 Untyped Individual: http://www.tno.nl/mapping2#length Untyped Individual: http://spinrdf.org/sp#systemProperty Untyped Individual: http://www.tno.nl/mapping2#genid-A7 Untyped Individual: http://www.tno.nl/mapping2#genid7 Untyped Individual: http://www.tno.nl/mapping2#genid3 Untyped Individual: http://spinrdf.org/spin#ConstraintViolation Untyped Individual: http://www.tno.nl/mapping2#genid38 Untyped Individual: http://www.tno.nl/mapping2#genid28 Untyped Individual: http://www.tno.nl/mapping2#genid33 Untyped Individual: http://spinrdf.org/spin#genid4 Untyped Individual: http://www.w3.org/2001/XMLSchema#float Untyped Individual: http://www.tno.nl/mapping2#genid24 Untyped Individual: http://www.tno.nl/mapping2#genid36 Untyped Individual: http://www.tno.nl/mapping2#genid-A3 Untyped Individual: http://www.tno.nl/mapping2#genid42 Untyped Individual: http://www.tno.nl/mapping2#genid29 Untyped Individual: http://www.tno.nl/mapping2#ProfileTypeEnum Untyped Individual: http://www.tno.nl/mapping2#genid37 Untyped Individual: http://spinrdf.org/spin#Modules Untyped Individual: http://www.tno.nl/mapping2#genid8 Untyped Individual: http://www.tno.nl/mapping2#genid17 Untyped Individual: http://www.tno.nl/mapping2#genid27 Untyped Individual: http://www.tno.nl/mapping2#genid-A2 Untyped Individual: http://spinrdf.org/spin#genid5 Untyped Individual: http://spinrdf.org/spin#Function Untyped Individual: http://spinrdf.org/sp#arg4 Untyped Individual: http://spinrdf.org/spin#Template Untyped Individual: http://spinrdf.org/sp#arg5 Untyped Individual: http://www.tno.nl/mapping2#genid-A1 Untyped Individual: http://www.tno.nl/mapping2#genid25 Untyped Individual: http://www.tno.nl/mapping2#genid-A0 rdf:Property used for: http://spinrdf.org/sp#limit rdf:Property used for: http://spinrdf.org/sp#path2 rdf:Property used for: http://spinrdf.org/sp#reduced rdf:Property used for: http://spinrdf.org/sp#systemProperty rdf:Property used for: http://spinrdf.org/spin#symbol rdf:Property used for: http://spinrdf.org/spin#violationPath rdf:Property used for: http://spinrdf.org/sp#variable rdf:Property used for: http://spinrdf.org/sp#fromNamed rdf:Property used for: http://spinrdf.org/sp#expression rdf:Property used for: http://spinrdf.org/spin#systemProperty rdf:Property used for: http://spinrdf.org/spin#violationRoot rdf:Property used for: http://spinrdf.org/sp#templates rdf:Property used for: http://spinrdf.org/spin#constructor rdf:Property used for: http://spinrdf.org/sp#varName rdf:Property used for: http://spinrdf.org/sp#arg rdf:Property used for: http://spinrdf.org/sp#orderBy rdf:Property used for: http://spinrdf.org/sp#modMax rdf:Property used for: http://spinrdf.org/spin#returnType rdf:Property used for: http://spinrdf.org/sp#resultVariables rdf:Property used for: http://spinrdf.org/spin#ruleIndex rdf:Property used for: http://spinrdf.org/sp#subject rdf:Property used for: http://spinrdf.org/sp#from rdf:Property used for: http://spinrdf.org/spin#query rdf:Property used for: http://spinrdf.org/sp#subPath rdf:Property used for: http://spinrdf.org/sp#where rdf:Property used for: http://spinrdf.org/sp#graphNameNode rdf:Property used for: http://spinrdf.org/sp#arg1 rdf:Property used for: http://spinrdf.org/sp#groupBy rdf:Property used for: http://spinrdf.org/spin#body rdf:Property used for: http://spinrdf.org/spin#labelTemplate rdf:Property used for: http://spinrdf.org/sp#modMin rdf:Property used for: http://spinrdf.org/sp#text rdf:Property used for: http://spinrdf.org/sp#arg3 rdf:Property used for: http://spinrdf.org/spin#constraint rdf:Property used for: http://spinrdf.org/sp#arg4 rdf:Property used for: http://spinrdf.org/sp#path1 rdf:Property used for: http://spinrdf.org/sp#resultNodes rdf:Property used for: http://spinrdf.org/spin#abstract rdf:Property used for: http://spinrdf.org/sp#object rdf:Property used for: http://spinrdf.org/spin#rule rdf:Property used for: http://spinrdf.org/sp#predicate rdf:Property used for: http://spinrdf.org/sp#arg5 rdf:Property used for: http://spinrdf.org/sp#distinct rdf:Property used for: http://spinrdf.org/sp#offset rdf:Property used for: http://spinrdf.org/sp#as rdf:Property used for: http://spinrdf.org/sp#elements rdf:Property used for: http://spinrdf.org/sp#path rdf:Property used for: http://spinrdf.org/sp#arg2 rdfs:Class used for: http://spinrdf.org/sp#Count rdfs:Class used for: http://spinrdf.org/sp#AltPath rdfs:Class used for: http://spinrdf.org/sp#ModPath rdfs:Class used for: http://spinrdf.org/sp#Triple rdfs:Class used for: http://spinrdf.org/sp#Filter rdfs:Class used for: http://spinrdf.org/sp#TriplePattern rdfs:Class used for: http://spinrdf.org/spin#ConstraintViolation rdfs:Class used for: http://spinrdf.org/sp#TripleTemplate rdfs:Class used for: http://spinrdf.org/sp#Aggregation rdfs:Class used for: http://spinrdf.org/sp#ElementList rdfs:Class used for: http://spinrdf.org/sp#Asc rdfs:Class used for: http://spinrdf.org/sp#Path rdfs:Class used for: http://spinrdf.org/sp#Desc rdfs:Class used for: http://spinrdf.org/spin#Module rdfs:Class used for: http://spinrdf.org/spin#Modules rdfs:Class used for: http://spinrdf.org/sp#Describe rdfs:Class used for: http://spinrdf.org/sp#Optional rdfs:Class used for: http://spinrdf.org/sp#Element rdfs:Class used for: http://spinrdf.org/sp#OrderByCondition rdfs:Class used for: http://spinrdf.org/sp#Query rdfs:Class used for: http://spinrdf.org/sp#Ask rdfs:Class used for: http://spinrdf.org/sp#Let rdfs:Class used for: http://spinrdf.org/sp#Tuple rdfs:Class used for: http://spinrdf.org/spin#LibraryOntology rdfs:Class used for: http://spinrdf.org/sp#Construct rdfs:Class used for: http://spinrdf.org/spin#Function rdfs:Class used for: http://spinrdf.org/sp#NamedGraph rdfs:Class used for: http://spinrdf.org/sp#ReversePath rdfs:Class used for: http://spinrdf.org/sp#Union rdfs:Class used for: http://spinrdf.org/sp#SystemClass rdfs:Class used for: http://spinrdf.org/sp#Variable rdfs:Class used for: http://spinrdf.org/spin#Template rdfs:Class used for: http://spinrdf.org/sp#SeqPath rdfs:Class used for: http://spinrdf.org/sp#TriplePath rdfs:Class used for: http://spinrdf.org/sp#Sum rdfs:Class used for: http://spinrdf.org/sp#ElementGroup rdfs:Class used for: http://spinrdf.org/sp#Select Bad list first/rest subject: http://www.tno.nl/mapping2#genid37 Not an intersection/union/oneof Bad list first/rest subject: http://www.tno.nl/mapping2#genid9 Not an intersection/union/oneof Bad list first/rest subject: http://www.tno.nl/mapping2#genid25 Not an intersection/union/oneof Bad list first/rest subject: http://www.tno.nl/mapping2#genid3 Not an intersection/union/oneof Bad list first/rest subject: http://www.tno.nl/mapping2#genid37 Not an intersection/union/oneof Bad list first/rest subject: http://www.tno.nl/mapping2#genid9 Not an intersection/union/oneof Bad list first/rest subject: http://www.tno.nl/mapping2#genid3 Not an intersection/union/oneof Bad list first/rest subject: http://www.tno.nl/mapping2#genid25 Not an intersection/union/oneof Redefinition of: http://www.w3.org/2001/XMLSchema#integer Redefinition of: http://www.w3.org/2001/XMLSchema#long Redefinition of: http://www.w3.org/2000/01/rdf-schema#Resource Redefinition of: http://www.w3.org/2001/XMLSchema#boolean Redefinition of: http://www.w3.org/1999/02/22-rdf-syntax-ns#List http://www.tno.nl/mapping2#IfcExtrudedAreaSolid used as Class and Individual http://spinrdf.org/spin#Templates used as Class and Individual http://spinrdf.org/spin#Functions used as Class and Individual http://www.tno.nl/mapping2#IfcBoundingBox used as Class and Individual http://spinrdf.org/spin#Modules used as Class and Individual http://spinrdf.org/spin#Function used as Class and Individual http://spinrdf.org/spin#Template used as Class and Individual http://www.tno.nl/mapping2#length used as Individual and DataProperty http://spinrdf.org/sp#expression used as Individual and Property http://www.tno.nl/mapping2#height used as Individual and DataProperty http://www.tno.nl/mapping2#Depth used as Individual and DataProperty http://www.tno.nl/mapping2#XDim used as Individual and DataProperty http://spinrdf.org/spin#body used as Individual and Property http://www.tno.nl/mapping2#SweptArea used as Individual and DataProperty http://www.tno.nl/mapping2#width used as Individual and DataProperty http://www.tno.nl/mapping2#ZDim used as Individual and DataProperty http://www.tno.nl/mapping2#YDim used as Individual and DataProperty http://spinrdf.org/sp#object used as Individual and Property http://spinrdf.org/spin#abstract used as ObjectProperty and DataProperty Redefinition of: http://www.w3.org/2001/XMLSchema#long Redefinition of: http://www.w3.org/2000/01/rdf-schema#Resource Redefinition of: http://www.w3.org/2002/07/owl#Ontology Redefinition of: http://www.w3.org/2001/XMLSchema#integer Redefinition of: http://www.w3.org/2001/XMLSchema#boolean Redefinition of: http://www.w3.org/1999/02/22-rdf-syntax-ns#List Redefinition of: http://www.w3.org/1999/02/22-rdf-syntax-ns#nil Redefinition of: http://www.w3.org/2001/XMLSchema#float Redefinition of: http://www.w3.org/2001/XMLSchema#string Redefinition of: http://www.w3.org/1999/02/22-rdf-syntax-ns#rest Redefinition of: http://www.w3.org/1999/02/22-rdf-syntax-ns#first http://www.w3.org/2002/07/owl#Ontology in OWL Namespace http://spinrdf.org/spin#Modules used as Class and Individual http://spinrdf.org/spin#Templates used as Class and Individual http://spinrdf.org/spin#Functions used as Class and Individual http://spinrdf.org/spin#Function used as Class and Individual http://spinrdf.org/spin#Template used as Class and Individual http://spinrdf.org/spin#body used as Individual and Property http://spinrdf.org/spin#abstract used as ObjectProperty and DataProperty Redefinition of: http://www.w3.org/2001/XMLSchema#integer Redefinition of: http://www.w3.org/2001/XMLSchema#long Redefinition of: http://www.w3.org/2000/01/rdf-schema#Resource Redefinition of: http://www.w3.org/2001/XMLSchema#boolean Redefinition of: http://www.w3.org/1999/02/22-rdf-syntax-ns#List Redefinition of: http://www.w3.org/2002/07/owl#Ontology http://www.w3.org/2002/07/owl#Ontology in OWL Namespace -----Original Message----- From: [email protected] [mailto:[email protected]] On Behalf Of Scott Henninger Sent: 26 February 2009 15:49 To: TopBraid Composer Users Subject: [tbc-users] Re: Pellet Reasoner Stalls after building taxonomy task Parsa, Michel; Without seeing the ontology, the best I can offer is to remove some constructs to identify the problem. It appears you can rule out some of the consistency checking constructs as they seem to be OK. Some other thoughts: - Make sure the ontology is DL-compliant (inference > Validate OWL Species) - What size is the ontology? - What architecture is being used (all local ontologies, use of data back-ends, etc.) The issue in the end may be that Pellet just gets hung. This can happen on the simplest of ontologies, particularly if the ontology is not DL-compliant. -- Scott On Feb 26, 6:21 am, Michel Bohms <[email protected]> wrote: > no silution, just to confirm I experience exactly the same problem, > Michel Bohms > > On Feb 26, 4:53 am, Parsa Mirhaji <[email protected]> wrote: > > > I am trying to run Pellet based reasoning using TBC 3.0Beta. Although I > > have the same problem on earlier versions of topbraid too. The reasoner > > goes through some steps (classifying, realization) however stalls after > > that: > > > [cid:3318443584_720866] > > > When I run reasoning for consistency checking, or superclass reasoning it > > works without problems and does not report a consistency problem or any > > warning or errors. > > Other reasoners run properly, however I want the Explanation feature which > > is only available if we use Pellet... Error Logs and Problem view is clean > > and without entries too. Any suggestions on how I can trouble shoot this? > > Thanks > > > Parsa > > > image.png > > 29KViewDownload This e-mail and its contents are subject to the DISCLAIMER at http://www.tno.nl/disclaimer/email.html --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
