Scoped names ("named" blank nodes)

sesuncedu / owl1-1

Automatically exported from code.google.com/p/owl1-1

0 stars 0 forks source link

Scoped names ("named" blank nodes) #45

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago

Suppose you want to represent a class with 2 members. We might

EquivalentClasses(C, oneOf(Individual(),Individual()))

It would be helpful to have names for the two blank nodes so that we can say 
that they are different. 
so that we don't have to give global names for the individuals.

Original issue reported on code.google.com by alanruttenberg@gmail.com on 14 Aug 2007 at 11:26

GoogleCodeExporter commented 9 years ago

Original comment by alanruttenberg@gmail.com on 25 Oct 2007 at 4:44

Changed state: Migrated