On 4/5/2012 1:44 PM, Obrst, Leo J. wrote:
> Also Skolem functions, not just constants. (01)
I agree. But Skolem functions have N arguments, where N is the
number of universal quantifiers that include the existential
within their scope. Since RDF has no universal quantifiers,
N would be zero. Therefore, you would only have Skolem constants. (02)
John (03)
_________________________________________________________________
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/OntologySummit2012/
Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2012
Community Portal: http://ontolog.cim3.net/wiki/ (04)
|