421 search results - page 33 / 85 » Extension of Ontologies Assisted by Automated Reasoning Syst... |
LICS
1994
IEEE
15 years 3 months ago
1994
IEEE
: We give a semantics for a typed object calculus, an extension of System F with object subsumption and method override. We interpret the calculus in a per model, proving the sound...
DLOG
2004
15 years 14 days ago
2004
This paper proposes constructs that can be used to declaratively specify the disjoint nature of object properties or roles. These constructs may be a useful extension to the Descr...
116
Voted
AI
2010
Springer
14 years 11 months ago
2010
Springer
We develop a formal framework for comparing different versions of ontologies, and apply it to ontologies formulated in terms of DL-Lite, a family of `lightweight' description...
97
Voted
ICCBR
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. Planning the ongoing care of Alzheimer's Disease (AD) patients is a complex task, marked by cases that change over time, multiple perspectives, and ethical issues. G...
101
click to vote
TPHOL
2007
IEEE
15 years 5 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...