[tcs-lc] Relationships
Bob Morris
ram at cs.umb.edu
Wed Mar 9 21:51:28 PST 2005
Here's are some naive questions that came up when I looked a little
deeper at tcs and I couldn't see answers on the wiki in the Relationship
topics. If there is an answer in an archive someplace, just point me at
it, since I obviously have not been paying attention from the beginning...
The RelationshipAssertion objects are statements about something in the
literature or contributions to the dataset, not something about logic,
right? In particular there is nothing wrong with a concept pair having a
RelationshipAssertion of type "is congruent to" and the same pair having
another of type "is not congruent to" or one of type "includes" and
another "excludes". If this is right, is there an expectation about
what, if any, formal logic processing can be done on
RelationshipAssertions? Is there an external ontology that prescribes an
algebra on the enumeration allowed to RelationshipType?
What about the corresponding questions for Relationships on Concepts?
[They must(?) be the same answers, since both have datatype
RelationshipType]
Is there an expected connection between Relationships on a Concept and
the RelationshipAssertions on the DataSet containing the Concept?
Thanks
Bob
--
Robert A. Morris
Professor of Computer Science
UMASS-Boston
http://www.cs.umb.edu/~ram
phone (+1)617 287 6466
More information about the Tcs-lc
mailing list