Sciweavers

1648 search results - page 130 / 330
» Structuring namespace descriptions
Sort
View
CAISE
2003
Springer
15 years 9 months ago
Ontological Basis for Agent ADL
Abstract. Multi-Agent Systems (MAS) architectures are gaining popularity over traditional ones for building open, distributed or evolving software. To formally define system archit...
Stéphane Faulkner, Manuel Kolp
133
Voted
WISE
2005
Springer
15 years 9 months ago
A Formal Ontology Reasoning with Individual Optimization: A Realization of the Semantic Web
Abstract. Answering a query over a group of RDF data pages is a trivial process. However, in the Semantic Web, there is a need for ontology technology. Consequently, OWL, a family ...
Pakornpong Pothipruk, Guido Governatori
KR
2000
Springer
15 years 7 months ago
Reasoning with Axioms: Theory and Practice
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to a...
Ian Horrocks, Stephan Tobies
222
Voted
ICDE
2007
IEEE
104views Database» more  ICDE 2007»
16 years 5 months ago
Indexing Uncertain Categorical Data
Uncertainty in categorical data is commonplace in many applications, including data cleaning, database integration, and biological annotation. In such domains, the correct value o...
Sarvjeet Singh, Chris Mayfield, Sunil Prabhakar, R...
MICCAI
2004
Springer
16 years 4 months ago
Interface Detection in Diffusion Tensor MRI
We present a new method for detecting the interface, or edge, structure present in diffusion MRI. Interface detection is an important first step for applications including segmenta...
Lauren O'Donnell, W. Eric L. Grimson, Carl-Fredrik...