Sciweavers

5 search results - page 1 / 1
» Using DL to Support a very Large Healthcare Terminology: Suc...
Sort
View
DLOG
2006
13 years 6 months ago
Tableau Caching for Description Logics with Inverse and Transitive Roles
Abstract. Modern description logic (DL) reasoners are known to be less efficient for DLs with inverse roles. The current loss of performance is largely due to the missing applicabi...
Yu Ding, Volker Haarslev
ICSM
2008
IEEE
13 years 11 months ago
Standard-based data and service interoperability in eHealth systems
International standardization in information representation, organization, and dissemination are meant to eliminate the discrepancies in communication among participating organiza...
Kamran Sartipi, Mohammad H. Yarmand
ICTAI
2007
IEEE
13 years 11 months ago
Semantic Web: The Story So Far
The goal of Semantic Web research is to transform the Web from a linked document repository into a distributed knowledge base and application platform, thus allowing the vast rang...
Ian Horrocks
ICICS
2001
Springer
13 years 9 months ago
Enforcing Obligation with Security Monitors
With the ubiquitous deployment of large scale networks more and more complex human interactions are supported by computer applications. This poses new challenges on the expressive...
Carlos Ribeiro, Andre Zuquete, Paulo Ferreira