Sciweavers

322 search results - page 20 / 65
» Ontology and Formal Semantics - Integration Overdue
Sort
View
SEMWEB
2007
Springer
14 years 3 months ago
Solving Semantic Ambiguity to Improve Semantic Web based Ontology Matching
A new paradigm in Semantic Web research focuses on the development of a new generation of knowledge-based problem solvers, which can exploit the massive amounts of formally speciļ¬...
Jorge Gracia, Vanessa Lopez, Mathieu d'Aquin, Mart...
FM
2003
Springer
169views Formal Methods» more  FM 2003»
14 years 2 months ago
Checking and Reasoning about Semantic Web through Alloy
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
Jin Song Dong, Jing Sun, Hai H. Wang
PADL
2010
Springer
14 years 6 months ago
Implementing Query Answering for Hybrid MKNF Knowledge Bases
Abstract. Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rule...
Ana Sofia Gomes, José Júlio Alferes,...
WWW
2004
ACM
14 years 9 months ago
A possible simplification of the semantic web architecture
In the semantic web architecture, Web ontology languages are built on top of RDF(S). However, serious difficulties have arisen when trying to layer expressive ontology languages, ...
Bernardo Cuenca Grau
SEMWEB
2007
Springer
14 years 3 months ago
A Fuzzy Ontology-Approach to improve Semantic Information Retrieval
This paper shows how a Fuzzy Ontology based approach can improve semantic documents retrieval. After formally deļ¬ning a Fuzzy Knowledge Base, it is discussed a special type of ne...
Silvia Calegari, Elie Sanchez