18 search results - page 1 / 4 » Logical properties of foundational relations in bio-ontologi... |
ARTMED
2007
13 years 5 months ago
2007
LICS
2008
IEEE
13 years 11 months ago
2008
IEEE
Tait’s method (a.k.a. proof by logical relations) is a powerful proof technique frequently used for showing foundational properties of languages based on typed λ-calculi. Histo...
JAIR
2008
13 years 5 months ago
2008
Ontologies and automated reasoning are the building blocks of the Semantic Web initiative. Derivation rules can be included in an ontology to define derived concepts based on base...
LFCS
1992
Springer
13 years 9 months ago
1992
Springer
We describe a logic for reasoning about higher-order strictness properties of typed lambda terms. The logic arises from axiomatising the inclusion order on certain closed subsets ...
CAISE
2007
Springer
13 years 11 months ago
2007
Springer
In a series of publications, we have proposed a foundational system of ontological categories which has been used to evaluate and improve the quality of conceptual modeling languag...