Sciweavers

1722 search results - page 70 / 345
» Ontology Formalism Transformation
Sort
View
126
Voted
DEBU
2002
120views more  DEBU 2002»
15 years 13 days 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
97
Voted
FASE
2001
Springer
15 years 5 months ago
Strengthening UML Collaboration Diagrams by State Transformations
Abstract. Collaboration diagrams as described in the official UML documents specify patterns of system structure and interaction. In this paper, we propose their use for specifying...
Reiko Heckel, Stefan Sauer
76
Voted
SEMCO
2008
IEEE
15 years 7 months ago
An Oddly-Positioned Position Paper on Context and Ontology
This paper is a theoretical analysis of formal annotation and ontology for the expression of the semantics of document. They are found wanting in this respect, not only for techni...
Simone Santini
132
Voted
AI
2010
Springer
15 years 22 days ago
Logic-based ontology comparison and module extraction, with an application to DL-Lite
We develop a formal framework for comparing different versions of ontologies, and apply it to ontologies formulated in terms of DL-Lite, a family of `lightweight' description...
Roman Kontchakov, Frank Wolter, Michael Zakharyasc...
89
Voted
ENTCS
2011
105views more  ENTCS 2011»
14 years 7 months ago
Bridges from Language to Logic: Concepts, Contexts and Ontologies
This paper gives a brief overview of the work on translating natural language sentences into logic done at PARC and distills a few simple-minded lessons. Then we turn our attentio...
Valeria de Paiva