102 search results - page 11 / 21 » Reformulation for Extensional Reasoning |
222
click to vote
COMAD
2009
15 years 6 months ago
2009
An ontology is an explicit specification of shared conceptualization. The Web Ontology Language (OWL) is a family of knowledge representation languages for authoring ontologies, a...
141
click to vote
DLOG
2008
15 years 7 months ago
2008
Abstract. In this paper, we propose a new method for revising terminologies in description logic-based ontologies. Our revision method is a reformulation of the kernel revision ope...
145
click to vote
DLOG
1998
15 years 6 months ago
1998
This paper proposes a framework to learn concepts from di erent kinds of observations. We de ne a language to describe meta-concepts, that represent the sets of possible concepts ...
128
click to vote
DLOG
2010
15 years 3 months ago
2010
We develop a query algebra that supports efficient assertion retrieval--a natural extension of instance retrieval. The algebra is based on previously developed techniques for index...
161
click to vote
FSEN
2009
Springer
16 years 18 hour ago
2009
Springer
We introduce a Hoare logic for higher-order functional languages with control operators such as callcc. The key idea is to build the assertion language and proof rules around an e...