WorkDiary(25.1.06)
January 25, 2006After a long absence (Vietnam/ Christmas/ catching up)….
Working on logical syntax. Current idea is to use A -> (B ->(C -> D)) (a la Tony’s FOL syntax: Presentation of arguments and counterarguments for tentative scientific knowledge) but to extend it to allow people to argue about desirable course of action.
Over the last 3 months, I wrote a (very basic) ontology/ arg. structure, then sort-of worked. Useful for pining down some issues, though. Have been round, and round, and round in circles about trying to decide on a suitable rules engine. Have looked at Prolog + Ontologies (none worked, including Swoop + Rules), other rules engines (Drools, Bossam, Jena), SWRL Reasoners (Hoolet, Sweetrules). Finally realised that I’m going to have to write on myself….. help!
The big problem is that rules + argumentation is ok (e.g. Prolog, or Gerard Vreeswijk) and ontology and rules is ok (e.g. Jena) but all three is a big no-no….
I’m confused by your swoop comment. Swoop isn’t directly dealing with Prolog. We do have an experimental version of Swoop with rule editing support which can be connected to an experimental version of Pellet that has AL Log support but needs SWI Prolog for the datalog reasoning. We hope soon to have support for DL Safe rules (see KAON2 for current support) and full SWRL.
As for Argumentation, we do a lot of different sorts of analysis of OWL KBs for partitioning and debugging. The debugging/explanation stuff might be useful (as it identifies premises sufficient for an entailment).
(I don’t see Jena as supporting ontology and rules. Anyway, if I understood your requirements better, we might be able to help out.)
Comment by Bijan Parsia — January 30, 2006 @ 5:09 am
Thanks for the great post.
Comment by hermes bags — October 9, 2012 @ 12:14 am
if you wear them, you are in a little club with all other women that can afford (or choose to starve) to wear them. When I am out and a woman with a red heel catches my red heel, we give one another a smile.
Comment by louboutin shoes — February 4, 2013 @ 3:13 am