3358 search results - page 261 / 672 » Dynamic Description Logics |
153
click to vote
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
We present the integration of refinement method of VSE verification tool, successfully used in industrial applications, in the Heterogeneous Tool Set HETS. The connection is done v...
183
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
Traditional object-oriented programming languages can be difficult to use when working with ontologies, leading to the creation of domain-specific languages designed specifically...
221
click to vote
CCS
2005
ACM
16 years 15 days ago
2005
ACM
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...
176
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Multi-relational networks are used extensively to structure knowledge. Perhaps the most popular instance, due to the widespread adoption of the Semantic Web, is the Resource Descr...
170
click to vote
ESWS
2007
Springer
16 years 1 months ago
2007
Springer
In an open, constantly changing and collaborative environment like the forthcoming Semantic Web, it is reasonable to expect that knowledge sources will contain noise and inaccuraci...