Sciweavers

43 search results - page 9 / 9
» Implementing Query Answering for Hybrid MKNF Knowledge Bases
Sort
View
108
Voted
AAAI
1990
15 years 25 days ago
Exploiting Locality in a TMS
This paper presents a new approach for exploiting Truth Maintenance Systems(TMSs) which makes them simpler to use without necessarily incurring a substantial performance penalty. ...
Johan de Kleer
104
Voted
DEXA
2010
Springer
180views Database» more  DEXA 2010»
15 years 23 days ago
Approximate Instance Retrieval on Ontologies
With the development of more expressive description logics (DLs) for the Web Ontology Language OWL the question arises how we can properly deal with the high computational complexi...
Tuvshintur Tserendorj, Stephan Grimm, Pascal Hitzl...
ESWS
2008
Springer
15 years 1 months ago
An Ontology for Software Models and Its Practical Implications for Semantic Web Reasoning
Ontology-Driven Software Development (ODSD) advocates using ontologies for capturing knowledge about a software system at development time. So far, ODSD approaches have mainly focu...
Matthias Bräuer, Henrik Lochmann