I've started reading the OWL draft specification. Having the sets all and nothing (owl:Thing and owl:Nothing) reminded me a lot of lattices. I wonder if they will do things like using lattice multiplication across ontologies.
Formal Concept Analysis: Mathematical Foundations:
http://www.amazon.com/exec/obidos/ASIN/3540627715
OWL Web Ontology Language 1.0 Reference:
http://www.w3.org/TR/2002/WD-owl-ref-20020729/
No comments:
Post a Comment