Sciweavers

6 search results - page 1 / 2
» Integrating Rules and Ontologies in the First-Order Stable M...
Sort
View
LPNMR
2011
Springer
12 years 10 months ago
Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report)
We present an approach to integrating rules and ontologies on the basis of the first-order stable model semantics defined by Ferraris, Lee and Lifschitz. We show that a few exist...
Joohyung Lee, Ravi Palla
BTW
2007
Springer
123views Database» more  BTW 2007»
14 years 1 months ago
Matching Metamodels with Semantic Systems - An Experience Report
: Ontology and schema matching are well established techniques, which have been applied in various integration scenarios, e.g., web service composition and database integration. Co...
Gerti Kappel, Horst Kargl, Gerhard Kramler, Andrea...
RR
2009
Springer
14 years 1 months ago
A Reasoner for Simple Conceptual Logic Programs
Open Answer Set Programming (OASP) can be seen as a framework to represent tightly integrated combined knowledge bases of ontologies and rules that are not necessarily DL-safe. The...
Stijn Heymans, Cristina Feier, Thomas Eiter
AI
2011
Springer
13 years 2 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, ...
RULEML
2004
Springer
14 years 23 days ago
A Defeasible Logic Reasoner for the Semantic Web
Abstract. Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is, among others, useful for ontology i...
Nick Bassiliades, Grigoris Antoniou, Ioannis P. Vl...