1285 search results - page 101 / 257 » Description Logic Reasoner: System Description |
201
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
The reasoning tasks that can be performed with semantic web service descriptions depend on the quality of the domain ontologies used to create these descriptions. However, buildin...
183
click to vote
EUROMICRO
2006
IEEE
16 years 9 days ago
2006
IEEE
Software architecture description languages (ADLs) were a particularly active research area in the 1990s. In 2000, we published an extensive study of existing ADLs, which has serv...
148
click to vote
CADE
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We present a technique that efficiently translates propositional intuitionistic formulas into propositional classical formulas. This technique allows the use of arbitrary...
163
click to vote
DLOG
2008
15 years 8 months ago
2008
The paper addresses the problem of explaining some reasoning tasks associated with the DL-Lite Description Logic. Because of the simplicity of the language, standard concept level ...
161
click to vote
DEXAW
1999
IEEE
15 years 10 months ago
1999
IEEE
Recent efforts in the Conceptual Modelling community have been devoted to properly capturing time-varying information, and several proposals of temporally enhanced Entity-Relation...