From: Jie B. <ba...@cs...> - 2008-11-06 16:31:18
|
Hi all I'm wondering if rule support is gonna to be part of SMW at the php level in the near future. What I mean "rules" are like * if A is brother of B, then B is brother of A * if A is a member of B and B is part of C, then A is a member of C * if A has an author B, then B is a person Thanks Jie |
From: Temlakos <tem...@gm...> - 2008-11-06 16:59:00
|
Someone once built an "invert-property" template to generate code automatically to annotate any article with a designated inverse of any Page property that points to the article in question. For example: {{Invert-property|Member of|Includes}} annotates the article in which it appears with several [[Includes::...]] brackets, each naming an article that names the index article as [[Member of::...]] That's as close as SMW currently gets to rule support. The kind of rule support you named would obviously replace this kind of inverse annotation, and would be especially useful with the syllogism you mentioned in your second example. And here's another suggestion: If A is the brother of B, then B might be either the brother /or the sister/ of A. It all depends on the gender of B. Therefore there's more to that relationship than a simple inverse. Rule-making would make such annotation a lot simpler. I would point out just one problem, however. Storage refreshment is a continual problem in SMW, and will only get worse with this kind of rule support. That's because queries always go to the stored value in the SMW tables, not the table containing the article text. And whenever you change a primary annotation, you have to refresh every article that refers to it. I've noticed something else, though this might not be germane to this problem. If, for any reason, the supporting script for a data type has any material change, that requires an edit-and-save to virtually every article that uses that data type in a way that the change affects. As you all know, I have a custom data type in my wiki. Earlier this week I noticed that it was storing some wrong date values. Specifically, it was storing Julian days that were a year ahead of where they should have been, and it was causing that data type to report wrong dates in other calendar formats. So I finally debugged the functions involved, but then I had to edit-and-save every single article annotated in that calendar, so that other articles that /queried/ those articles with #ask or #show statements could see the change. BTW: I have a wiki with 3,870 articles in it. The script SMW_refreshData.php doesn't seem to get everywhere I need it to get, even if I run it in slow doses. Can anyone recommend a better technique for using that file? Temlakos Jie Bao wrote: > Hi all > > I'm wondering if rule support is gonna to be part of SMW at the php > level in the near future. What I mean "rules" are like > > * if A is brother of B, then B is brother of A > * if A is a member of B and B is part of C, then A is a member of C > * if A has an author B, then B is a person > > Thanks > > Jie > > ------------------------------------------------------------------------- > This SF.Net email is sponsored by the Moblin Your Move Developer's challenge > Build the coolest Linux based applications with Moblin SDK & win great prizes > Grand prize is a trip for two to an Open Source event anywhere in the world > http://moblin-contest.org/redirect.php?banner_id=100&url=/ > _______________________________________________ > Semediawiki-user mailing list > Sem...@li... > https://lists.sourceforge.net/lists/listinfo/semediawiki-user > > |
From: Solbrig, H. R. <Sol...@ma...> - 2008-11-10 04:32:42
|
Folks, The rules below are samples of some of the axioms that are found in description logics. I would strongly encourage folks to consider tieing into existing DL reasoners vs. attempting to implement these sorts of rules on an ad-hoc basis. It is very easy to get into computationaly intractable territory, not to mention that there is already a large body of work that can be directly leveraged and doesn't need to be rewritten. All three rules below are already specified and implemented in early release versions of OWL 2.0: The first rule below is an example of a symmetric property. The second rule below is an example of a property chain. The third rule (assuming that it applies to "has author" rather than "A") is an example of a range restriction. Harold Solbrig | Division of Biomedical Statistics and Informatics | 507-293-3774 | sol...@ma... -----Original Message----- From: sem...@li... [mailto:sem...@li...] On Behalf Of Jie Bao Sent: Thursday, November 06, 2008 10:31 AM To: Semantic MediaWiki Users Subject: [Semediawiki-user] Rule support in SMW? Hi all I'm wondering if rule support is gonna to be part of SMW at the php level in the near future. What I mean "rules" are like * if A is brother of B, then B is brother of A * if A is a member of B and B is part of C, then A is a member of C * if A has an author B, then B is a person Thanks Jie ------------------------------------------------------------------------ - This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/ _______________________________________________ Semediawiki-user mailing list Sem...@li... https://lists.sourceforge.net/lists/listinfo/semediawiki-user |
From: Jie B. <ba...@cs...> - 2008-11-10 19:01:06
|
Hi Harold I agree that OWL support those rules. I also agree that they are bring in some computational cost. Nevertheless, we don't necessarily need to resort to an OWL reasoner to do the job, or need to do the job in a sound and complete fashion (as OWL reasoners do). The high complexity or even undecidability of rule-lilke reasoning in OWL and beyond are closely related to the completeness requirements of the reasoner. On the other hand, there are two good reasons in semantic wikis that we may not always need completeness * Most of existing rule-based reasoning engine for OWL today are incomplete with respect to OWL-DL semantics, for the sake of scalability and/or engineering considerations. * semantic wikis themselves have incomplete nature, as the Web in general has. I believe if people can live with incompleteness of Google, then they may not be surprised to learn that a semantic wiki query/rule/reasoning engine is incomplete. I believe intractability of rule inference on semantic wikis can be controlled in some ways, like to switch on/off such inference on selected pages, or to limit the total steps of inference that a engine allowing -- although at this moment I not very clear how the final engineering will be, I believe it is doable. Cheers Jie On Sun, Nov 9, 2008 at 11:03 PM, Solbrig, Harold R. <Sol...@ma...> wrote: > Folks, > > The rules below are samples of some of the axioms that are found in > description logics. I would strongly encourage folks to consider tieing > into existing DL reasoners vs. attempting to implement these sorts of > rules on an ad-hoc basis. It is very easy to get into computationaly > intractable territory, not to mention that there is already a large body > of work that can be directly leveraged and doesn't need to be rewritten. > > All three rules below are already specified and implemented in early > release versions of OWL 2.0: > > The first rule below is an example of a symmetric property. > The second rule below is an example of a property chain. > The third rule (assuming that it applies to "has author" rather than > "A") is an example of a range restriction. > > > Harold Solbrig | Division of Biomedical Statistics and Informatics | > 507-293-3774 | sol...@ma... > > -----Original Message----- > From: sem...@li... > [mailto:sem...@li...] On Behalf Of Jie > Bao > Sent: Thursday, November 06, 2008 10:31 AM > To: Semantic MediaWiki Users > Subject: [Semediawiki-user] Rule support in SMW? > > Hi all > > I'm wondering if rule support is gonna to be part of SMW at the php > level in the near future. What I mean "rules" are like > > * if A is brother of B, then B is brother of A > * if A is a member of B and B is part of C, then A is a member of C > * if A has an author B, then B is a person > > Thanks > > Jie > > ------------------------------------------------------------------------ > - > This SF.Net email is sponsored by the Moblin Your Move Developer's > challenge > Build the coolest Linux based applications with Moblin SDK & win great > prizes > Grand prize is a trip for two to an Open Source event anywhere in the > world > http://moblin-contest.org/redirect.php?banner_id=100&url=/ > _______________________________________________ > Semediawiki-user mailing list > Sem...@li... > https://lists.sourceforge.net/lists/listinfo/semediawiki-user > -- Jie http://www.cs.rpi.edu/~baojie |