On 6 May 2011, at 16:19, Kingsley Idehen wrote: > On 5/6/11 11:15 AM, Alexandre Passant wrote: >> >> >> On 6 May 2011, at 16:13, Kingsley Idehen wrote: >> >>> On 5/6/11 9:52 AM, Alexandre Passant wrote: >>>> >>>> >>>> On 6 May 2011, at 14:48, Kingsley Idehen wrote: >>>> >>>>> On 5/6/11 5:56 AM, Alexandre Passant wrote: >>>>>> >>>>>> Hi, >>>>>> >>>>>> I'm trying to setup inference in Virtuoso. >>>>>> >>>>>> I've following instruction on the webpage and: >>>>>> 1) loaded an ontology file >>>>>> 2) setup the rdfs_rule_set >>>>>> >>>>>> When I'm using >>>>>> >>>>>> define input:inference "foobar" >>>>>> >>>>>> In my queries, only RDFS inference is applied, not OWL one. >>>>> >>>>> Is your rule associated with a graph that combines axioms from RDFS and >>>>> OWL, for instance? >>>>> >>>> >>>> Yes, the ontology file contains both OWL and RDFS axioms >>> >>> So basically, you've created a merge of triples from both the RDFs and OWL >>> ontologies? i.e., you haven't attempted to use owl:import to chain them -- >>> which doesn't work right now. >>> >> >> I'm simply loading an existing ontology that contains RDFS and OWL axioms, I >> haven't combined anything so far. >> >>> If possible, provide a URL for your RDFS/OWL triples combo so we can test >>> further internally. This is good timing as I am in the middle of some >>> reasoning related testing etc.. >> >> I'm using MO - http://purl.org/ontology/mo/ > > Okay, I am going to add a rule to our LOD cloud cache and URIBurner instances > which you can access via the /FCT UI (see the settings tab for rules > selection). Then we can take it from there. >
My question was more regarding a particular instance: Is there something special to do to enable OWL entailement and not only RDFS one on a virtuoso cluster ? (Using the isql console) Thanks Alex. > Kingsley >> >> Alex. >> >>> >>> >>> Kingsley >>>> >>>>>> Is there something else to do to specify the level of inference required >>>>>> ? >>>>>> >>>>>> In addition, is there a way to limit to a subset of expressions to be >>>>>> used (e.g. only transitivity) or should I write my own rules in that >>>>>> case (by extracting only the required rules from the original ontology) >>>>>> and having a separate input:inference >>>>> >>>>> Yes. >>>> >>>>> >>>>> >>>>> Kingsley >>>>>> >>>>>> Thanks a lot, >>>>>> >>>>>> Alex. >>>>>> >>>>>> -- >>>>>> Dr. Alexandre Passant, >>>>>> Social Software Unit Leader >>>>>> Digital Enterprise Research Institute, >>>>>> National University of Ireland, Galway >>>>>> >>>>>> >>>>>> >>>>>> >>>>>> ------------------------------------------------------------------------------ >>>>>> WhatsUp Gold - Download Free Network Management Software >>>>>> The most intuitive, comprehensive, and cost-effective network >>>>>> management toolset available today. Delivers lowest initial >>>>>> acquisition cost and overall TCO of any competing solution. >>>>>> http://p.sf.net/sfu/whatsupgold-sd >>>>>> >>>>>> _______________________________________________ >>>>>> Virtuoso-users mailing list >>>>>> Virtuoso-users@lists.sourceforge.net >>>>>> https://lists.sourceforge.net/lists/listinfo/virtuoso-users >>>>> >>>>> >>>>> -- >>>>> >>>>> Regards, >>>>> >>>>> Kingsley Idehen >>>>> President & CEO >>>>> OpenLink Software >>>>> Web: http://www.openlinksw.com >>>>> Weblog: http://www.openlinksw.com/blog/~kidehen >>>>> Twitter/Identi.ca: kidehen >>>>> >>>>> >>>>> >>>>> >>>>> ------------------------------------------------------------------------------ >>>>> WhatsUp Gold - Download Free Network Management Software >>>>> The most intuitive, comprehensive, and cost-effective network >>>>> management toolset available today. Delivers lowest initial >>>>> acquisition cost and overall TCO of any competing solution. >>>>> http://p.sf.net/sfu/whatsupgold-sd_______________________________________________ >>>>> Virtuoso-users mailing list >>>>> Virtuoso-users@lists.sourceforge.net >>>>> https://lists.sourceforge.net/lists/listinfo/virtuoso-users >>>> >>>> -- >>>> Dr. Alexandre Passant, >>>> Social Software Unit Leader >>>> Digital Enterprise Research Institute, >>>> National University of Ireland, Galway >>>> >>>> >>>> >>> >>> >>> -- >>> >>> Regards, >>> >>> Kingsley Idehen >>> President & CEO >>> OpenLink Software >>> Web: http://www.openlinksw.com >>> Weblog: http://www.openlinksw.com/blog/~kidehen >>> Twitter/Identi.ca: kidehen >>> >>> >>> >>> >> >> -- >> Dr. Alexandre Passant, >> Social Software Unit Leader >> Digital Enterprise Research Institute, >> National University of Ireland, Galway >> >> >> >> >> ------------------------------------------------------------------------------ >> WhatsUp Gold - Download Free Network Management Software >> The most intuitive, comprehensive, and cost-effective network >> management toolset available today. Delivers lowest initial >> acquisition cost and overall TCO of any competing solution. >> http://p.sf.net/sfu/whatsupgold-sd >> >> _______________________________________________ >> Virtuoso-users mailing list >> Virtuoso-users@lists.sourceforge.net >> https://lists.sourceforge.net/lists/listinfo/virtuoso-users > > > -- > > Regards, > > Kingsley Idehen > President & CEO > OpenLink Software > Web: http://www.openlinksw.com > Weblog: http://www.openlinksw.com/blog/~kidehen > Twitter/Identi.ca: kidehen > > > > > ------------------------------------------------------------------------------ > WhatsUp Gold - Download Free Network Management Software > The most intuitive, comprehensive, and cost-effective network > management toolset available today. Delivers lowest initial > acquisition cost and overall TCO of any competing solution. > http://p.sf.net/sfu/whatsupgold-sd_______________________________________________ > Virtuoso-users mailing list > Virtuoso-users@lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/virtuoso-users -- Dr. Alexandre Passant, Social Software Unit Leader Digital Enterprise Research Institute, National University of Ireland, Galway