ontology-summit
[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 13:38:01 +0000
Message-id: <296D93E5-8D6F-4F99-8939-54A26BCFFF6E@xxxxxxxxxxxx>

On 22 Jan 2013, at 13:20, Matthew West wrote:

Dear Alan,
 
Complete certainly may have more than one meaning here, however, the use of completeness as Fabian describes is well established in its own field, and we can’t claim exclusive use of words with our preferred meaning. A better approach I think would be to use qualifiers when the senses might be inferred. So logically complete vs factually complete or some such.

Fine, as long as we are aware of and careful to avoid the potential ambiguity.

Regards

Alan

 
Regards
 
Matthew West                           
Information  Junction
Tel: +44 1489 880185
Mobile: +44 750 3385279
Skype: dr.matthew.west
 
This email originates from Information Junction Ltd. Registered in England and Wales No. 6632177.
Registered office: 2 Brookside, Meadow Way, Letchworth Garden City, Hertfordshire, SG6 3JE.
 
 
 
From: ontology-summit-bounces@xxxxxxxxxxxxxxxx [mailto:ontology-summit-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Alan Rector
Sent: 22 January 2013 11:07
To: Ontology Summit 2013 discussion
Subject: Re: [ontology-summit] Reasoners and the life cycle
 
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


 


 

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

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