Sciweavers

2268 search results - page 158 / 454
» Semantic Integration
Sort
View
AI
2011
Springer
14 years 9 months ago
Local closed world reasoning with description logics under the well-founded semantics
An important question for the upcoming Semantic Web is how to best combine open world ontology languages, such as the OWL-based ones, with closed world rule-based languages. One o...
Matthias Knorr, José Júlio Alferes, ...
ECAI
2000
Springer
15 years 7 months ago
Repairing Queries in a Mediator Approach
In this paper, we study unsatisfiable queries posed to a mediator in an information integration system and expressed in the logical formalism of the information integration system...
Alain Bidault, Christine Froidevaux, Brigitte Safa...
136
Voted
WWW
2006
ACM
16 years 3 months ago
Supporting online problem-solving communities with the semantic web
The Web plays a critical role in hosting Web communities, their content and interactions. A prime example is the open source software (OSS) community, whose members, including sof...
Anupriya Ankolekar, Katia P. Sycara, James D. Herb...
ASWC
2009
Springer
15 years 7 months ago
IP-Explorer: A Semantic Web Based Intellectual Property Knowledge Base and Trading Platform
In this paper, we demonstrate IP-Explorer, a semantic web based IP knowledge base and trading platform with the following characteristics: First, it is based on the semantic web te...
Lei Zhang, Hugh Glaser, Hai-Tao Zheng, Ian Millard
126
Voted
APSEC
1997
IEEE
15 years 6 months ago
A Formal Operational Semantics for SOFL
SOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data ow diagrams, VDM-SL, and Petri ...
Chris Ho-Stuart, Shaoying Liu