2308 search results - page 172 / 462 » Representing Symbolic Reasoning |
172
click to vote
OWLED
2007
15 years 8 months ago
2007
The research community has noted the need to retrieve the instance level of an ontology from bulk data stored in external data sources (e.g., a relational database), in order to de...
188
click to vote
JSS
2007
15 years 6 months ago
2007
Research into design rationale in the past has focused on argumentation-based design deliberations. These approaches cannot be used to support change impact analysis effectively ...
141
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
We define an interpretation of the Isabelle/HOL logic in HOL Light and its metalanguage, OCaml. Some aspects of the Isabelle logic are not representable directly in the HOL Light o...
169
click to vote
TIME
2008
IEEE
16 years 26 days ago
2008
IEEE
We tackle the issue of representing infinite sets of realvalued vectors. This paper introduces an operator for combining integer and real sets. Using this operator, we decompose ...
157
click to vote
SEMWEB
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. We present a novel approach to representing uncertain information in ontologies based on design patterns. We provide a brief description of our approach, present its use ...