tag:blogger.com,1999:blog-6848574.post111233499191218973..comments2024-02-14T04:44:39.043-06:00Comments on Working notes: Paulahttp://www.blogger.com/profile/03653112583629043593noreply@blogger.comBlogger6125tag:blogger.com,1999:blog-6848574.post-1112472613327312402005-04-02T14:10:00.000-06:002005-04-02T14:10:00.000-06:00I also make silly grammatical and spelling mistake...I also make silly grammatical and spelling mistakes (more than my threshold anyway).<BR/><BR/>So yeah okay...I'll leave them in there in there raw glory.Andrewhttps://www.blogger.com/profile/00667948202593884438noreply@blogger.comtag:blogger.com,1999:blog-6848574.post-1112399268773498932005-04-01T17:47:00.000-06:002005-04-01T17:47:00.000-06:00BTW, I get to see the comments that you post and t...BTW, I get to see the comments that you post and then delete. You've said several things that were worth leaving, but they're gone now.<BR/>You should leave past comments up and just add a new comment.Paulahttps://www.blogger.com/profile/03653112583629043593noreply@blogger.comtag:blogger.com,1999:blog-6848574.post-1112399172512527572005-04-01T17:46:00.000-06:002005-04-01T17:46:00.000-06:00With a unique name assumption it all becomes much ...With a unique name assumption it all becomes much easier, but that's a cop out. It ignores the owl:sameAs predicate, which is perfectly valid, and considered in lots of other places in the inferencing.<BR/><BR/>I agree that the closed world assumption occasionally needs to be used for practical purposes. That's why I'm considering it for the cardinality consistency checking.Paulahttps://www.blogger.com/profile/03653112583629043593noreply@blogger.comtag:blogger.com,1999:blog-6848574.post-1112371480213651572005-04-01T10:04:00.001-06:002005-04-01T10:04:00.001-06:00FaCT and RACER are two DL systems that make the un...FaCT and RACER are two DL systems that make the unique name assumption. Databases seem to require a closed world/unique names for reasons like indexing, applying negation, etc.Andrewhttps://www.blogger.com/profile/00667948202593884438noreply@blogger.comtag:blogger.com,1999:blog-6848574.post-1112371448983526372005-04-01T10:04:00.000-06:002005-04-01T10:04:00.000-06:00This comment has been removed by a blog administrator.Andrewhttps://www.blogger.com/profile/00667948202593884438noreply@blogger.comtag:blogger.com,1999:blog-6848574.post-1112363358122730242005-04-01T07:49:00.000-06:002005-04-01T07:49:00.000-06:00This comment has been removed by a blog administrator.Andrewhttps://www.blogger.com/profile/00667948202593884438noreply@blogger.com