Integrating Ontologies & Argumentation

Dear All,

As some of you know I have been doing some work on integrating DL 
ontologies and Argumentation.

Argumentation is a (reasonably new) approach to handling conflicting 
defeasible inferences, and this work extends an existing proposal by 
adding ontological information.

There is now a (pre-print) paper for this year's ICTAI conference 
available at http://acl.icnet.uk/~mw/WilliamsHunterICTAI07.pdf for those 
interested, and there will be a poster from last month's Cancer 
Informatics Conference as soon as I upload it.

There is also a (very) rough prototype implementation available at 
http://acl.icnet.uk/~mw/swafi0.1.zip or 
http://acl.icnet.uk/~mw/swafi0.1.jar. The former is the whole thing plus 
libs (and so is >40 Mb) while the jar is just  my work. It uses the Jena 
rule engine and Pellet to turn defeasible rule into arguments, and then 
calculates conflict between them based on the information in the ontology.

Thanks a lot for all the help, advice and wonderful tools, and let me 
know if you're interested/ have questions/ etc.

Matt

Received on Thursday, 2 August 2007 00:14:18 UTC