87 search results - page 18 / 18 » On the Update of Description Logic Ontologies at the Instanc... |
JUCS
2006
13 years 5 months ago
2006
: The need for processing biological information is rapidly growing, owing to the masses of new information in digital form being produced at this time. Old methodologies for proce...
DLOG
2010
13 years 3 months ago
2010
In this paper we outline an algebraic tableau algorithm for the DL SHOQ, which supports more informed reasoning due to the use of semantic partitioning and integer programming. We ...