Sciweavers

1331 search results - page 99 / 267
» Description logic reasoning using the PTTP approach
Sort
View
MLG
2007
Springer
16 years 15 days ago
Abductive Stochastic Logic Programs for Metabolic Network Inhibition Learning
Abstract. We revisit an application developed originally using Inductive Logic Programming (ILP) by replacing the underlying Logic Program (LP) description with Stochastic Logic Pr...
Jianzhong Chen, Stephen Muggleton, Jose Santos
KR
1998
Springer
15 years 10 months ago
Combining Narratives
A theory is elaboration tolerant to the extent that new information can be incorporated with only simple changes. The simplest change is conjoining new information, and only conju...
John McCarthy, Tom Costello
LOGCOM
2002
142views more  LOGCOM 2002»
15 years 6 months ago
Two Logical Theories of Plan Recognition
We present a logical approach to plan recognition that builds on Kautz's theory of keyhole plan recognition, defined as the problem of inferring descriptions of high-level pl...
Wayne Wobcke
DLOG
2007
15 years 8 months ago
DLMedia: an Ontology Mediated Multimedia Information Retrieval System
We outline DLMedia, an ontology mediated multimedia information retrieval system, which combines logic-based retrieval with multimedia featurebased similarity retrieval. An ontolog...
Umberto Straccia, Giulio Visco
DLOG
2004
15 years 7 months ago
Specifying the Disjoint Nature of Object Properties in DL
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...
Cartik R. Kothari, David J. Russomanno