670 search results - page 1 / 134 » Brain-Like Approximate Reasoning |
BCS
2008
13 years 6 months ago
2008
SIAMCOMP
2012
11 years 7 months ago
2012
DLOG
2010
13 years 2 months ago
2010
ABox Reasoning in large scale description logic (DL) knowledge bases, e.g. ontologies, is important for the success of many semantic-enriched systems. Performance of existing appro...
JANCL
2002
13 years 4 months ago
2002
ABSTRACT. It has long been recognized that the concept of inconsistency is a central part of commonsense reasoning. In this issue, a number of authors have explored the idea of rea...
DLOG
2009
13 years 2 months ago
2009
Abstract. TBox reasoning in description logics is hard. For example, reasoning in SROIQ (i.e. OWL2-DL) is N2EXPTIME-complete; even with R, a fragment of SROIQ supporting ALC GCIs a...