Sciweavers

2302 search results - page 13 / 461
» Basic Description Logics
Sort
View
75
Voted
LFCS
1997
Springer
15 years 4 months ago
Basic Forward Chaining Construction for Logic Programs
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
42
Voted
CORR
2006
Springer
96views Education» more  CORR 2006»
15 years 24 days ago
Proof Search in Hajek's Basic Logic
Simone Bova, Franco Montagna
RML
2002
82views Business» more  RML 2002»
15 years 13 days ago
A Nonmonotonic Rule System using Ontologies
The development of the Semantic Web proceeds in layers. Currently the most advanced layer that has reached maturity is the ontology layer, in the form of the DAML+OIL language whic...
Grigoris Antoniou
CADE
2001
Springer
16 years 1 months ago
RACER System Description
RACER implements a TBox and ABox reasoner for the logic SHIQ. RACER was the first full-fledged ABox description logic system for a very expressive logic and is based on optimized s...
Ralf Möller, Volker Haarslev