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

[Alan Rector <rector@xxxxxxxxxxxx>]

All

Do we need to be careful about the word "completeness" to avoid confusion with the meaning in computational logic in "complete and decidable".   Would we be better using a word such as "sufficient" or "comprehensive" or similar?

Alan

On 28 Dec 2012, at 17:50, Fabian Neuhaus wrote:

Following Vrandecic "Ontology Evaluation" in "Handbook on Ontologies, Second Edition" (with some modification), I think we need to distinguish (among other things) four questions: 

- Accuracy: Is the content of the ontology true? 

- Completeness: Is the domain of interest appropriately covered (this includes terminology as well as axioms)? 

- Conciseness: Does the ontology irrelevant classes, relations, or axioms? 

- Redundancy: Are some axioms redundant because they are already entailed by other axioms? 

-----------------------

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

www.cs.man.ac.uk/~rector

www.co-ode.org

http://clahrc-gm.nihr.ac.uk/

_________________________________________________________________
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)