421 search results - page 8 / 85 » Extension of Ontologies Assisted by Automated Reasoning Syst... |
CADE
2005
Springer
15 years 11 months ago
2005
Springer
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,...
119
click to vote
ICIW
2008
IEEE
15 years 5 months ago
2008
IEEE
In this paper, we present an extension of PHIL, a declarative language for filtering information from XML data. The proposed approach allows us to extract relevant data as well a...
OTM
2005
Springer
15 years 4 months ago
2005
Springer
Model-driven Architecture (MDA) is a software architecture framework proposed by the Object Management Group OMG. MDA emphasises the importance of modelling in the architectural de...
124
click to vote
EDBT
2002
ACM
15 years 11 months ago
2002
ACM
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precise...
120
click to vote
PEPM
2010
ACM
15 years 27 days ago
2010
ACM
Software engineering, automated reasoning, rule-based programming or specifications often use rewriting systems for which termination, among other properties, may have to be ensur...