search

sesuncedu / owl1-1

Automatically exported from code.google.com/p/owl1-1
0 stars 0 forks source link

Finitely many property names #20

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
There is an assumption that there are only finitely many property names in
the hierarchy, which makes some definitions work. In the presence of
owl:imports, this assumption may not be satisfied without some restrictions
on its use.

http://lists.w3.org/Archives/Public/public-owl-dev/2007AprJun/0001.html

Original issue reported on code.google.com by davidt%h...@gtempaccount.com on 5 Apr 2007 at 10:36

GoogleCodeExporter commented 9 years ago 
I cannot see how this assumption can be falsified: given that, at any point in 
time, there are only finitely many 
ontologies around, all of which contain only finitely many properties, it 
should always be satisfied.

Original comment by ulisatt...@googlemail.com on 5 Apr 2007 at 2:46

GoogleCodeExporter commented 9 years ago 
This is not a problem: Semantic Web can be big, but will always be finite. 
Hence, 
the import closure can also only be finite.

Original comment by borismo...@gmail.com on 23 May 2007 at 5:49