Back to Search Start Over

Using Tableaux and Automata for Pinpointing in EL

Authors :
Peñaloza, R
Goranko, V
Peñaloza, R
Publication Year :
2009
Publisher :
University of Oslo, 2009.

Subjects

Subjects :
axiom pinpointing, description logics

Details

Language :
English
Database :
OpenAIRE
Accession number :
edsair.od......1299..74f266b575fa0cc0d3ae207ce4d6458a

Tools

Authors Abstract Subjects Details