9145 search results - page 176 / 1829 » Description Logic Systems |
144
click to vote
IANDC
2010
15 years 2 months ago
2010
The paper proposes a novel analysis of quantificational subordination, e.g. Harvey courts a woman at every convention. {She is very pretty. vs. She always comes to the banquet with...
171
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: High-density tiling arrays and new sequencing technologies are generating rapidly increasing volumes of transcriptome and protein-DNA interaction data. Visualization a...
136
click to vote
CORR
2007
Springer
15 years 5 months ago
2007
Springer
Diagrammatic logics were introduced in 2002, with emphasis on the notions of specifications and models. In this paper we improve the description of the inference process, which i...
191
click to vote
AIA
2006
15 years 6 months ago
2006
Model-based diagnosis of technical systems requires both a simulation machinery and a logic calculus. The former is responsible for the system's behavior analysis, the latter...
148
click to vote
ESWS
2009
Springer
16 years 2 days ago
2009
Springer
This paper investigates a Description Logic, namely SHI+, which extends SHI by adding transitive closure of roles. The resulting logic SHI+ allows transitive closure of roles to oc...