Dear all, I have a simple ontology with only classes and subclasses:
*# baseURI: http://example.com/subclass@prefix : <http://example.com/subclass#> .@prefix owl: <http://www.w3.org/2002/07/owl#> .@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .<http://example.com/subclass> rdf:type owl:Ontology ; owl:versionInfo "Created with TopBraid Composer"^^xsd:string .:A rdf:type owl:Class ; rdfs:label "A "@en ; rdfs:subClassOf owl:Thing .:B rdf:type owl:Class ; rdfs:label "B "@en ; rdfs:subClassOf :A .:C rdf:type owl:Class ; rdfs:label "C "@en ; rdfs:subClassOf :B .* When I enable Complete Mode inferencing (see attachment inference settings.png) and run inferences I see something that looks like rdfs:subClassOf transitive behaviour (see attachment classC.png). Similar to: CONSTRUCT { ?subject rdfs:subClassOf ?object } WHERE { ?subject rdfs:subClassOf+ ?object .} exept that the triple :C rdfs:subClassOf rdfs:Resource is not generated when inferencing like this. What is it exactly that I see? thanks, Lieke -- -- You received this message because you are subscribed to the Google Group "TopBraid Suite Users", the topics of which include Enterprise Vocabulary Network (EVN), TopBraid Composer, TopBraid Live, TopBraid Insight, SPARQLMotion, SPARQL Web Pages and SPIN. 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-users?hl=en --- You received this message because you are subscribed to the Google Groups "TopBraid Suite Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
