322 search results - page 23 / 65 » Ontology and Formal Semantics - Integration Overdue |
111
click to vote
SKG
2005
IEEE
15 years 7 months ago
2005
IEEE
In this paper, we propose the Semantic Information Model for Digital Libraries - DLOnto based on the theory of the Semantic Web, and give the formalized definition of and relative ...
111
click to vote
DLOG
2008
15 years 4 months ago
2008
Distributed Description Logics (DDL) is a KR formalism that enables reasoning with multiple ontologies interconnected by directional semantic mapping. Subsumption propagation in DD...
128
click to vote
ICCS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Description Logics (DLs) are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from si...
112
click to vote
RIVF
2007
15 years 3 months ago
2007
— Semantic Web research and recent efforts of large software companies have lead to mature technologies that can enable real-life semantic applications. While benefits such as a...
135
click to vote
CIKM
2011
Springer
14 years 1 months ago
2011
Springer
We present Nyaya, a system for the management of Semantic-Web data which couples a general-purpose and extensible storage mechanism with efficient ontology reasoning and querying ...