Sciweavers

1285 search results - page 24 / 257
» Description Logic Reasoner: System Description
Sort
View
DLOG
2008
15 years 2 months ago
LTL over Description Logic Axioms
Franz Baader, Silvio Ghilardi, Carsten Lutz
DLOG
2003
15 years 1 months ago
Basic Description Logics
Franz Baader, Werner Nutt
DLOG
2003
15 years 1 months ago
An Introduction to Description Logics
Daniele Nardi, Ronald J. Brachman