157 search results - page 28 / 32 » A Conjunctive Query Language for Description Logic Aboxes |
104
click to vote
CORR
2006
Springer
15 years 12 days ago
2006
Springer
Through the Internet and the World-Wide Web, a vast number of information sources has become available, which offer information on various subjects by different providers, often i...
107
click to vote
IJBRA
2007
15 years 9 days ago
2007
: The biomedical literature is growing at an ever-increasing rate, which pronounces the need to support scientists with advanced, automated means of accessing knowledge. We investi...
132
click to vote
CCS
2005
ACM
15 years 6 months 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...
119
Voted
TITB
2002
15 years 10 hour ago
2002
This paper describes the initial stages of building an ontology of bioinformatics and molecular biology. The conceptualisation is encoded using the Ontology Inference Layer (OIL),...
110
click to vote
TABLEAUX
2005
Springer
15 years 5 months ago
2005
Springer
This paper describes the implementation of a tableau-based reasoning component which is capable of providing quasi natural language explanations for subsumptions within ALEHFR+ TBo...