- From: Dieter Fensel <dieter.fensel@sti2.at>
- Date: Wed, 1 Jul 2020 15:09:51 +0200
- To: semantic-web@w3.org
Actually skolemization is quite an old concept of computational logic (I guess older than most of us) to deal with existential variables. Unfortunately it comes along with the typical closed world assumptions of logic assuming that you know all terms and can safely generate a unique new term. In the open and dynamic environment of the web this may cause problems. What happens if two people use the same skolemization generator and their stuff gets merged? On 01.07.2020 13:02, David Booth wrote: > Yes, excellent work! I think skolemizing may be useful as an > underlying mechanism, largely hidden from users. -- Dieter Fensel Chair STI Innsbruck University of Innsbruck, Austria www.sti-innsbruck.at/ tel +43-664 3964684
Received on Wednesday, 1 July 2020 13:10:13 UTC