Sciweavers

3793 search results - page 153 / 759
» Expressive Description Logics
Sort
View
DLOG
2008
15 years 6 months ago
Distributed Resolution for ALC
The use of Description Logic as the basis for Semantic Web Languages has led to new requirements with respect to scalable and nonstandard reasoning. In this paper, we address the p...
Anne Schlicht, Heiner Stuckenschmidt
146
Voted
INLG
2004
Springer
15 years 10 months ago
Overgenerating Referring Expressions Involving Relations and Booleans
Abstract. We present a new approach to the generation of referring expressions containing attributive, type and relational properties combined by conjunctions, disjunctions and neg...
Sebastian Varges
SWAP
2007
15 years 5 months ago
Reasoning with Instances of Heterogeneous Ontologies
We address the problem of reasoning with instances of heterogeneously formalized ontologies. Given a set of semantic mappings, reconciling conceptual and instance level heterogenei...
Luciano Serafini, Andrei Tamilin
FCT
2005
Springer
15 years 10 months ago
On the Expressiveness of Asynchronous Cellular Automata
We show that a slightly extended version of asynchronous cellular automata, relative to any class of pomsets and dags without autoconcurrency, has the same expressive power as the ...
Benedikt Bollig
BMCBI
2007
109views more  BMCBI 2007»
15 years 4 months ago
A cis-regulatory logic simulator
Background: A major goal of computational studies of gene regulation is to accurately predict the expression of genes based on the cis-regulatory content of their promoters. The d...
Robert D. Zeigler, Jason Gertz, Barak A. Cohen