3793 search results - page 221 / 759 » Expressive Description Logics |
185
click to vote
DIAGRAMS
2004
Springer
15 years 10 months ago
2004
Springer
Spider diagrams are a visual notation for expressing logical statements. In this paper we identify a well known fragment of first order predicate logic, that we call ESD, equivalen...
190
click to vote
CIKM
2007
Springer
16 years 24 days ago
2007
Springer
We present an evolutionary clustering method which can be applied to multi-relational knowledge bases storing resource annotations expressed in the standard languages for the Sema...
183
click to vote
COMPSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
Given the rapid rise of model-driven software development methodologies, it is highly desirable that tools be developed to support the use of design patterns in this context. This...
207
click to vote
CIE
2008
Springer
15 years 8 months ago
2008
Springer
Nested datatypes are families of datatypes that are indexed over all types and where the datatype constructors relate different members of the family. This may be used to represent...
156
click to vote
TARK
2005
Springer
16 years 2 days ago
2005
Springer
Current dynamic epistemic logics often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions regarding common knowledge express t...