2302 search results - page 13 / 461 » Basic Description Logics |
LFCS
1997
Springer
14 years 17 days ago
1997
Springer
CORR
2006
Springer
13 years 8 months ago
2006
Springer
CORR
2007
Springer
13 years 8 months ago
2007
Springer
RML
2002
13 years 8 months ago
2002
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...
CADE
2001
Springer
14 years 8 months ago
2001
Springer
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...