scholar.google.com › citations
This work aims to provide more efficient DL reasoning techniques for frequently changing instance bases (ABoxes).
Abstract. Various data sources on the Web tend to be highly dynamic; this is ev- ident in prominent Web services frameworks in which devices register or ...
This work aims to provide more efficient DL reasoning techniques for frequently changing instance bases ABoxes. More specifically, we investigate the process of ...
This work aims to provide more efficient DL reasoning techniques for frequently changing instance bases (ABoxes) by investigating the process of ...
In particular, in [14] we present an approach for incrementally updating tableau completion graphs under syntactic ABox updates in the description logics SHIQ ...
People also ask
What is description logic reasoning?
What is the difference between description logic and first-order logic?
Description logic reasoning with syntactic updates. Christian Halashek-Wiener, Bijan Parsia, Evren Sirin. Research output: Chapter in Book/Report/Conference ...
This page contains two lists of Description Logic reasoners, together with a description of their capabilities and links to their web page.
Fingerprint. Dive into the research topics of 'Description logic reasoning with syntactic updates'. Together they form a unique fingerprint.
... syntactical nature and the fact that reasoning over the encoded informa- tion in logic is to a certain extent possible by mechanical syntactic manipulation.
Description logics (DLs) are knowledge representation formalisms with well-understood model-theoretic semantics and computational properties.