Web Reasoning and Rule Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

26
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642396656, 9783642396663
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Ontology-Based Reasoning Approach for Electric Power Utilities

2013 ◽  
pp. 95-108 ◽  
Author(s):  
Mohamed Gaha ◽  
Arnaud Zinflou ◽  
Christian Langheit ◽  
Alexandre Bouffard ◽  
Mathieu Viau ◽  
...  
Keyword(s):  
Electric Power ◽  
Power Utilities

Rule Revision in Normal DL Logic Programs

2013 ◽  
pp. 204-209
Author(s):  
Sebastian Binnewies ◽  
Yisong Wang ◽  
Bela Stantic ◽  
Kewen Wang
Keyword(s):  
Logic Programs

scholarly journals Conjunctive Queries with Negation over DL-Lite: A Closer Look

2013 ◽  
pp. 109-122 ◽  
Author(s):  
Víctor Gutiérrez-Basulto ◽  
Yazmín Ibañez-García ◽  
Roman Kontchakov ◽  
Egor V. Kostylev
Keyword(s):  
Conjunctive Queries

scholarly journals Verification and Synthesis in Description Logic Based Dynamic Systems

2013 ◽  
pp. 50-64 ◽  
Author(s):  
Diego Calvanese ◽  
Giuseppe De Giacomo ◽  
Marco Montali ◽  
Fabio Patrizi
Keyword(s):  
Dynamic Systems ◽  
Description Logic

OBDA and Intermodal Logistics: Active Projects and Applications

2013 ◽  
pp. 210-215 ◽  
Author(s):  
Jean-Rémi Bourguet ◽  
Giuseppe Cicala ◽  
Luca Pulina ◽  
Armando Tacchella
Keyword(s):  
Intermodal Logistics

Kiabora: An Analyzer of Existential Rule Bases

2013 ◽  
pp. 241-246 ◽  
Author(s):  
Michel Leclère ◽  
Marie-Laure Mugnier ◽  
Swan Rocher
Keyword(s):  
Rule Bases
Load More ...
Sign in / Sign up

Export Citation Format

Share Document