Comments on: Closing Down the Open World: Covering Axioms and Closure Axioms http://ontogenesis.knowledgeblog.org/1001 An Ontology Tutorial Wed, 12 Jan 2011 10:50:46 +0000 hourly 1 https://wordpress.org/?v=5.2 By: Making sure my brother and I have the same grandparents « Robert Stevens' Blog http://ontogenesis.knowledgeblog.org/1001/comment-page-1#comment-7260 Fri, 16 Mar 2012 09:49:46 +0000 http://ontogenesis.knowledgeblog.org/?p=1001#comment-7260 […] to how many children people have. I’ve also closed parts of the amino acid ontology and written in general about closure. The example of grandparents (and parents etc.) in the FHKB is just another example of having to be […]

]]> By: Implicaciones de OWA « Hector G. Ceballos, PhD http://ontogenesis.knowledgeblog.org/1001/comment-page-1#comment-2488 Sun, 24 Jul 2011 06:00:58 +0000 http://ontogenesis.knowledgeblog.org/?p=1001#comment-2488 […] más información respecto a OWA y cómo ayudar al razonador en casos de particiones completas en [3]. La explicación está muy completa pero el ejemplo es algo confuso dado que definen Sex como una […]

]]> By: Ontogenesis: One Year On | Ontogenesis http://ontogenesis.knowledgeblog.org/1001/comment-page-1#comment-501 Thu, 07 Apr 2011 14:39:48 +0000 http://ontogenesis.knowledgeblog.org/?p=1001#comment-501 […] informatics, as authors we have started to write shorter articles on small-discrete topics such as closure axioms. This form of article is, we hope, useful; that James Malone and Helen Parkinson’s article […]

]]> By: = Closing the FHKB’s ABox of family Members = « Robert Stevens' Blog http://ontogenesis.knowledgeblog.org/1001/comment-page-1#comment-121 Wed, 09 Feb 2011 09:20:26 +0000 http://ontogenesis.knowledgeblog.org/?p=1001#comment-121 […] putting in a closure axiom that has a universal quantification on an enumerated set of the individuals concerned. The query […]

]]>