Sciweavers

1331 search results - page 54 / 267
» Description logic reasoning using the PTTP approach
Sort
View
KRDB
2003
142views Database» more  KRDB 2003»
15 years 8 months ago
Optimizing Query Answering in Description Logics using Disjunctive Deductive Databases
Motivated by the possibilities of applying deductive database technology for efficient query answering in description logics, we present a translation operator µ that transforms...
Boris Motik, Raphael Volz
CVPR
2007
IEEE
16 years 8 months ago
Bilattice-based Logical Reasoning for Human Detection
The capacity to robustly detect humans in video is a critical component of automated visual surveillance systems. This paper describes a bilattice based logical reasoning approach...
Vinay D. Shet, Jan Neumann, Visvanathan Ramesh, La...
IJCAI
2007
15 years 8 months ago
Completing Description Logic Knowledge Bases Using Formal Concept Analysis
Abstract. We propose an approach for extending both the terminological and the assertional part of a Description Logic knowledge base by using information provided by the knowledge...
Franz Baader, Bernhard Ganter, Baris Sertkaya, Ulr...
196
Voted
WLP
2004
Springer
16 years 3 days ago
Deductive and Inductive Reasoning on Spatio-Temporal Data
Abstract. We present a framework for a declarative approach to spatiotemporal reasoning on geographical data, based on the constraint logical language STACLP, which offers deducti...
Mirco Nanni, Alessandra Raffaetà, Chiara Re...
DLOG
2001
15 years 8 months ago
The Generation of DAML+OIL
daml+oil is a new description logic developed for use within the DAML project and as a submission to the upcoming W3C semantic web ontology working group. It is closely based on t...
Ian Horrocks, Peter F. Patel-Schneider