Sciweavers

128 search results - page 15 / 26
» Making Sense of Specifications: The Formalization of SET
Sort
View
CADE
2002
Springer
14 years 7 months ago
Reasoning with Expressive Description Logics: Theory and Practice
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
Ian Horrocks
EDBT
2002
ACM
138views Database» more  EDBT 2002»
14 years 7 months ago
DAML+OIL: A Reason-able Web Ontology Language
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...
Ian Horrocks
LREC
2008
67views Education» more  LREC 2008»
13 years 9 months ago
ODL: an Object Description Language for Lexical Information
This paper describes ODL, a description language for lexical information that is being developed within the context of a national project called MLRS (Maltese Language Resource Se...
Michael Rosner
DEBU
2002
120views more  DEBU 2002»
13 years 7 months ago
DAML+OIL: a Description Logic for the Semantic Web
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 precis...
Ian Horrocks
SAC
2008
ACM
13 years 7 months ago
Hermes: a semantic web-based news decision support system
The emergence of the Web has made more and more news items available, however only a small subset of these news items are relevant in a decision making process. Therefore decision...
Jethro Borsje, Leonard Levering, Flavius Frasincar