Sciweavers

492 search results - page 28 / 99
» Distributive Lattice-Structured Ontologies
Sort
View
APSEC
2004
IEEE
14 years 14 days ago
Reasoning about Semantic Web in Isabelle/HOL
Semantic Web is regarded as the next generation of the World Wide Web. It provides not only the structure of the web but also meaningful semantics for the information presented. T...
Yue Tang, Jin Song Dong, Jing Sun, Brendan P. Maho...
DLOG
2009
13 years 6 months ago
Reasoning With Weighted Ontologies
We study the problem of reasoning over weighted ontologies. We assume that every axiom is labeled with an element of a distributive lattice (called its weight) and try to compute i...
Rafael Peñaloza
WWW
2002
ACM
14 years 9 months ago
Learning to map between ontologies on the semantic web
Ontologies play a prominent role on the Semantic Web. They make possible the widespread publication of machine understandable data, opening myriad opportunities for automated info...
AnHai Doan, Jayant Madhavan, Pedro Domingos, Alon ...
EON
2007
13 years 10 months ago
A Panoramic Approach to Integrated Evaluation of Ontologies in the Semantic Web
As the sheer volume of new knowledge increases, there is a need to find effective ways to convey and correlate emerging knowledge in machine-readable form. The success of the Seman...
Sourish Dasgupta, Deendayal Dinakarpandian, Yugyun...
IAJIT
2011
13 years 3 months ago
A constraint programming based approach to detect ontology inconsistencies
: This paper proposes a constraint programming based approach to handle ontologies consistency, and more precisely user-defined consistencies. In practice, ontologies consistency i...
Moussa Benaissa, Yahia Lebbah