Sciweavers

364 search results - page 43 / 73
» A Map of Common Knowledge Logics
Sort
View
120
Voted
WWW
2005
ACM
16 years 2 months ago
OWL DL vs. OWL flight: conceptual modeling and reasoning for the semantic Web
The Semantic Web languages RDFS and OWL have been around for some time now. However, the presence of these languages has not brought the breakthrough of the Semantic Web the creat...
Axel Polleres, Dieter Fensel, Jos de Bruijn, Rub&e...
WWW
2003
ACM
16 years 2 months ago
Three theses of representation in the semantic web
The Sematic Web is vitally dependant on a formal meaning for the constructs of its languages. For Semantic Web languages to work well together their formal meanings must employ a ...
Ian Horrocks, Peter F. Patel-Schneider
ECSQARU
1997
Springer
15 years 6 months ago
Assumption-Based Modeling Using ABEL
Abstract. Today, different formalisms exist to solve reasoning problems under uncertainty. For most of the known formalisms, corresponding computer implementations are available. ...
Bernhard Anrig, Rolf Haenni, Jürg Kohlas, Nor...
SIS
2007
15 years 3 months ago
An Ontology for the Expression of Intellectual Property Entities and Relations
Ontologies represent knowledge in a particular area. Intellectual Property (IP) Entities lifecycle lacks any explicit standard representation, and a semantic expression of its proc...
Víctor Rodríguez-Doncel, Marc Gauvin...
115
Voted
OTM
2005
Springer
15 years 7 months ago
Spatio-temporal Schema Integration with Validation: A Practical Approach
We propose to enhance a schema integration process with a validation phase employing logic-based data models. In our methodology, we validate the source schemas against the data mo...
Anastasiya Sotnykova, Nadine Cullot, Christelle Va...