[Top] [All Lists]

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

To: Ontology Summit 2013 discussion <ontology-summit@xxxxxxxxxxxxxxxx>
From: Alan Rector <rector@xxxxxxxxxxxx>
Date: Tue, 22 Jan 2013 11:06:37 +0000
Message-id: <4921C211-85F3-4F83-9B19-FC63AF407136@xxxxxxxxxxxx>

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?


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

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>