75 search results - page 8 / 15 » Description Logic Reasoning for Dynamic ABoxes |
SEMWEB
2009
Springer
13 years 12 months ago
2009
Springer
Scalable query answering over Description Logic (DL) based ontologies plays an important role for the success of the Semantic Web. Towards tackling the scalability problem, we prop...
ER
2007
Springer
13 years 11 months ago
2007
Springer
The paper presents an unified Description Logic (DL) model for databases. Describing database models using DLs is a fundamental problem in many areas because it turns databases to...
FOSSACS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
BMCBI
2008
13 years 7 months ago
2008
Background: The indexing of scientific literature and content is a relevant and contemporary requirement within life science information systems. Navigating information available ...
DLOG
2003
13 years 8 months ago
2003
Agent systems that search the Semantic Web are seen as killer applications for description logic (DL) inference engines. The guiding examples for the Semantic Web involve informat...