3793 search results - page 505 / 759 » Expressive Description Logics |
179
click to vote
TABLEAUX
2007
Springer
16 years 22 days ago
2007
Springer
Axiom pinpointing has been introduced in description logics (DLs) to help the user to understand the reasons why consequences hold and to remove unwanted consequences by computing ...
140
click to vote
ICRA
2006
IEEE
16 years 19 days ago
2006
IEEE
- This paper describes the development of an Adaptive Non-linear PI Torque Control for electro-rheological fluid (ERF) based variable resistance brakes that are used in compact and...
140
click to vote
DEXAW
2005
IEEE
16 years 7 days ago
2005
IEEE
Keywords, restricted vocabularies (RVs), thesauri, and catalogues are introduced leading up to discussion of the need for full ontologies to describe the full logical and relation...
150
click to vote
FC
2005
Springer
16 years 4 days ago
2005
Springer
In this paper, we formulate the concept of policy-based cryptography which makes it possible to perform policy enforcement in large-scale open environments like the Internet, with ...
162
click to vote
TES
2005
Springer
16 years 2 days ago
2005
Springer
Service-oriented Computing (SoC) in general, and e-service orchestrations in particular have the potential to increase reuse and to ease maintainability. Typically, interoperating ...