Thank you, for your reply Holger. In first place, i'm sorry for double replay. Because, i think my internet has a problem that why my post don't shows. >From your reply, i don't understand completely. I see example in this blog<http://composing-the-semantic-web.blogspot.com/2009/10/owl-2-support-in-topbraid-composer.html>that show the usage of this issues.
<http://2.bp.blogspot.com/_44lV0kDjySE/SuezZctDH6I/AAAAAAAAANw/f9sq_8H1D48/s400/OWL2-ClassAxioms.png> It says that OWL2 support in topbraid. Maybe, i misunderstand some part of that blog. And from your suggestion. In my project, i want to use both OWL and SPIN. Cause both two language have strong side of themselves. Such as SPIN is suitable for creating new resource, and manage temporal logic. In contrary, OWL can be used to inference concept that can be extended in the future. Then i think, i need to develop the program that use both SPIN API and other Inference engine such as Pellet. And let them loop inference until there are no new triple occur. Is you or anyone think this approach is make sense? Is there any suitable use-case for SPIN? Or someone know suitable OWL2-DL library than Pellet. Because currently, Pellet is not compatible with Jena latest version (2.11.0). But SPIN API, is dependency with them. Thank you, Wasin On Thursday, 5 December 2013 18:20:27 UTC+7, Holger Knublauch wrote: > > Hi, > > OWL 2 RL does not include support for user-defined datatypes, so while the > syntax is correct, the inference engine cannot make the desired inferences. > Anyone could add a general SPIN rule for this, but it's not part of the OWL > RL standard. > > If you want to stay inside OWL, look into other inference engines. If you > are open to a more general solution, define the inference as a SPIN rule. > > Regards, > Holger > > > On 12/5/2013 19:08, Mhee vun wrote: > > Hello, > i'm trying to define the datatype restriction in the TBC(v4.3.1) to > classify some individual of person that have age more than 18. > It like the approach 1 that describe in this link: > https://groups.google.com/forum/#!msg/topbraid-users/jc7GjLYo4l8/4HLCEpM8nTIJ > . > > Firstly 1) i insert the following code in Adult class: > > Manchester syntax: > owl:equivalentClass > age some xsd:integer[>= 18] > > Turtle syntax: > :Adult > a owl:Class ; > rdfs:subClassOf :Person ; > owl:equivalentClass > [ a owl:Restriction ; > owl:onProperty :age ; > owl:someValuesFrom > [ a rdfs:Datatype ; > owl:onDatatype xsd:integer ; > owl:withRestrictions > ([ xsd:minInclusive 18 > ]) > ] > ] . > > 2) and create new individual of Person class with have age 50: > > :Person_1 > a :Person ; > :age 50 . > > 3) Then, i classify them with owlrl-all rule > > But, it doesn't successful (the individual doesn't be an Adult class). > > Despite i change > age some xsd:integer[>= 18] ------> age some xsd:integer ->> > doesn't success > ------> age > some rdfs:Literal ->> doesn't success > Maybe the problem come from xsd:minInclusive in Adult class. Because, i > try to change datatypeProperty to some objectProperty in owl:equivalentClass > (:objectProperty1 some Thing). I classify them and it success > -------> > objectProperty1 > some Thing -->> success, the individual will be an Adult class > > What is wrong? > Anyone have any suggestion to solve this problem. > > Following approach that i do: > > - import owlrl-all on folder TopBraid/Spin > - select owl 2 RL on ontology profile > > My code attach within this message. > > Thanks, > wasin > -- > -- 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] <javascript:> > To unsubscribe from this group, send email to > [email protected] <javascript:> > 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] <javascript:>. > For more options, visit https://groups.google.com/groups/opt_out. > > > -- -- 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/groups/opt_out.
