Sciweavers

15754 search results - page 209 / 3151
» Programs are Knowledge Bases
Sort
View
DLOG
2011
14 years 8 months ago
Mapping Data to Higher-Order Description Logic Knowledge Bases
Floriana Di Pinto, Giuseppe De Giacomo, Maurizio L...
DLOG
2011
14 years 8 months ago
Reasoning-Supported Interactive Revision of Knowledge Bases
We propose a method for controlling the quality of (semi-)automatically acquired axioms. We combine the manual inspection of axioms with automatic evaluation decisions and propose ...
Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm