148 search results - page 9 / 30 » Towards a consistent logical framework for ontological analy... |
BMCBI
2010
14 years 9 months ago
2010
Background: Biomedical research is set to greatly benefit from the use of semantic web technologies in the design of computational infrastructure. However, beyond well defined res...
VMCAI
2009
Springer
15 years 4 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...
81
Voted
DLOG
1996
14 years 10 months ago
1996
fe. Althoughthose legal concepts are abstract in the sense that there always exist possibilities to interpret them in various ways, lawyers seem to understand themas real things at...
ICWE
2010
Springer
14 years 8 months ago
2010
Springer
Measurement, evaluation and analysis are support processes to main engineering processes. In this work we present an integrated strategy whose rationale is supported by a well-defi...
KI
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We provide an interactive method for knowledge acquisition combining approaches from description logic and formal concept analysis. Based on present data, hypothetical ru...