Sciweavers

3358 search results - page 11 / 672
» Dynamic Description Logics
Sort
View
KR
1994
Springer
14 years 20 days ago
Making the Difference: A Subtraction Operation for Description Logics
We define a new operation in description logics, the difference operation or subtraction operation. This operation allows to remove from a description as much as possible of the i...
Gunnar Teege
ESWS
2010
Springer
13 years 10 months ago
Dealing with Inconsistency When Combining Ontologies and Rules Using DL-Programs
Abstract. Description Logic Programs (DL-programs) have been introduced to combine ontological and rule-based reasoning in the context of the Semantic Web. A DL-program loosely com...
Jörg Pührer, Stijn Heymans, Thomas Eiter
DLOG
2008
13 years 11 months ago
Paraconsistent Reasoning for Expressive and Tractable Description Logics
Abstract. Four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases, mainly ALC. This approach has a distinct advantage th...
Yue Ma, Pascal Hitzler, Zuoquan Lin
DLOG
2006
13 years 10 months ago
Euclidian Roles in Description Logics
In the current paper we investigate the role of Euclidian roles in Description Logics.
Giorgos Stoilos, Giorgos B. Stamou
SAC
2002
ACM
13 years 8 months ago
Dynamically generating web application fragments from page templates
Web-based applications are typically required to be highly customizable and configurable. New application requirements have to be introduced rapidly, often without stopping the ru...
Uwe Zdun