Sciweavers

174 search results - page 5 / 35
» Concept Model Semantics for DL Preferential Reasoning
Sort
View
ESWS
2008
Springer
14 years 11 months ago
Pronto: A Non-monotonic Probabilistic Description Logic Reasoner
Abstract. The demonstration presents Pronto - a prototype of a nonmonotonic probabilistic reasoner for very expressive Description Logics. Pronto is built on top of the OWL DL reas...
Pavel Klinov
IJCAI
2007
14 years 11 months ago
A Description Logic of Change
We combine the modal logic S5 with the description logic (DL) ALCQI. In this way, we obtain a multi-dimensional DL, S5ALCQI, whose purpose is reasoning about change. S5ALCQI is ca...
Alessandro Artale, Carsten Lutz, David Toman
DEXAW
2008
IEEE
91views Database» more  DEXAW 2008»
15 years 4 months ago
Dynamic Taxonomies for the Semantic Web
The semantic web aims at enabling the web to understand and answer the requests from people and machines. It relies on several standards for representing and reasoning about web c...
Pierre Allard, Sébastien Ferré
DLOG
2004
14 years 11 months ago
Extended Query Facilities for Racer and an Application to Software-Engineering Problems
er reports on a pragmatic query language for Racer. The abstract syntax and semantics of this query language is defined. Next, the practical relevance of this query language is sh...
Volker Haarslev, Ralf Möller, Ragnhild Van De...
DLOG
2008
15 years 2 days ago
Visualization of Description Logic Models
Many visualization frameworks for ontologies in general and for concept expressions in particular are too faithful to the syntax of the languages in which those objects are represe...
Fernando Náufel do Amaral, Carlos Bazilio M...