208 search results - page 6 / 42 » Generic ontology of datatypes |
SIGMOD
2006
ACM
14 years 7 months ago
2006
ACM
Ontologies are increasingly used to represent the intended real-world semantics of data and services in information systems. Unfortunately, different data sources often do not rel...
ICFP
2012
ACM
11 years 10 months ago
2012
ACM
Programming with dependent types is a blessing and a curse. It is a blessing to be able to bake invariants into the definition of datatypes: we can finally write correct-by-cons...
IJCAI
2001
13 years 8 months ago
2001
Ontologies are set to play a key r^ole in the "Semantic Web" by providing a source of shared and precisely defined terms that can be used in descriptions of web resource...
JFP
2010
13 years 5 months ago
2010
The aim of our work is to be able to do fully formal, machine verified proofs over Generic Haskellstyle polytypic programs. In order to achieve this goal, we embed polytypic prog...
IAT
2010
IEEE
13 years 4 months ago
2010
IEEE
Abstract--Collaborating agents require either prior agreement on the shared vocabularies that they use for communication, or some means of translating between their private ontolog...