[Top] [All Lists]

Re: [ontology-summit] Reasoners and the life cycle

To: Ontology Summit 2013 discussion <ontology-summit@xxxxxxxxxxxxxxxx>
From: "Obrst, Leo J." <lobrst@xxxxxxxxx>
Date: Tue, 18 Dec 2012 15:26:03 +0000
Message-id: <FDFBC56B2482EE48850DB651ADF7FEB01E887C17@xxxxxxxxxxxxxxxxxx>



Yes indeed. Many ontology projects either have automated reasoning as a requirement now or they will in the future, as applications evolve and new applications arise to use/reuse the ontology.  


And explanation, a back-trace  of how the reasoner arrived at its conclusions is, I think, necessary.





From: ontology-summit-bounces@xxxxxxxxxxxxxxxx [mailto:ontology-summit-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Alan Rector
Sent: Tuesday, December 18, 2012 10:00 AM
To: Ontology Summit 2013
Subject: [ontology-summit] Reasoners and the life cycle




Should there be a subheading someplace for the extra steps that are required in the life cycle if significant inference is involved, e.g. with large scale DL/OWL based terminologies/ontologies such as SNOMED-CT.  


*        The use of a reasoner makes development more like developing rather like developing with an compiled language.  You only know what you have after your run the reasoner, but you have to understand the results in terms of what was asserted. The consequences of assertions are often unintended - "bugs". 


*        Finding unintended inferences can be hard


*        Tracing unintended inferences to the source in the assertions can be hard.


We have practical experience with SNOMED CT - see our KCAP2011 paper [1] and other papers on my website [2]


There has also been extensive work on "justifications" for OWL reasoning and other work by Horridge and his colleagues, see http://www.stanford.edu/~horridge/.  














[2] http://www.cs.man.ac.u/~rector


Alan Rector

Professor of Medical Informatics

School of Computer Science

University of Manchester

Manchester M13 9PL, UK

TEL +44 (0) 161 275 6149/6188

FAX +44 (0) 161 275 6204



Msg Archives: http://ontolog.cim3.net/forum/ontology-summit/   
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontology-summit/  
Unsubscribe: mailto:ontology-summit-leave@xxxxxxxxxxxxxxxx
Community Files: http://ontolog.cim3.net/file/work/OntologySummit2013/
Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2013  
Community Portal: http://ontolog.cim3.net/wiki/     (01)
<Prev in Thread] Current Thread [Next in Thread>