102 search results - page 11 / 21 » Reformulation for Extensional Reasoning |
COMAD
2009
13 years 8 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...
DLOG
2008
13 years 10 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...
DLOG
1998
13 years 9 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 ...
DLOG
2010
13 years 5 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...
FSEN
2009
Springer
14 years 2 months 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...