Sciweavers

3244 search results - page 130 / 649
» Extensions to Description Logics
Sort
View
DLOG
2001
15 years 7 months ago
The Generation of DAML+OIL
daml+oil is a new description logic developed for use within the DAML project and as a submission to the upcoming W3C semantic web ontology working group. It is closely based on t...
Ian Horrocks, Peter F. Patel-Schneider
DLOG
1998
15 years 7 months ago
Learning Composite Concepts
This paper proposes a framework to learn concepts from di erent kinds of observations. We de ne a language to describe meta-concepts, that represent the sets of possible concepts ...
Patrick Lambrix, Pierpaolo Larocchia
CADE
2005
Springer
16 years 6 months ago
The OWL Instance Store: System Description
Abstract. We describe the instance store, a system for reasoning about individuals (i.e., instances of classes) in OWL ontologies. By using a hybrid reasoner/database architecture,...
Sean Bechhofer, Ian Horrocks, Daniele Turi
IWFM
1998
134views Formal Methods» more  IWFM 1998»
15 years 7 months ago
Facilitating Modular Property-Preserving Extensions of Programming Languages
We will explore an approach to modular programming language descriptions and extensions in a denotational style. Based on a language core, language features are added stepwise on ...
Claus Pahl
JIT
2005
Springer
149views Database» more  JIT 2005»
15 years 11 months ago
Grid Resource Ontologies and Asymmetric Resource-Correlation
Automatic Grid resource discovery and brokerage shields the Grid middleware complexities from the Grid users and leads towards an invisible but simple and robust Grid. Realizing th...
Mumtaz Siddiqui, Thomas Fahringer, Jürgen Hof...