default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1. RR 2007: Innsbruck , Austria
- Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie:
Web Reasoning and Rule Systems, First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007, Proceedings. Lecture Notes in Computer Science 4524, Springer 2007, ISBN 978-3-540-72981-5
Full Papers
- Wlodzimierz Drabent, Jan Maluszynski:
Well-Founded Semantics for Hybrid Rules. 1-15 - François Bry
, Michael Eckert:
Rule-Based Composite Event Queries: The Language XChangeEQ and Its Semantics. 16-30 - Harald Meyer:
On the Semantics of Service Compositions. 31-42 - Theofilos P. Mailis, Giorgos Stoilos, Giorgos B. Stamou:
Expressive Reasoning with Horn Rules and Fuzzy Description Logics. 43-57 - Jos de Bruijn, David Pearce, Axel Polleres, Agustín Valverde:
Quantified Equilibrium Logic and Hybrid Rules. 58-72 - Debmalya Biswas:
Web Services Discovery and Constraints Composition. 73-87 - Virginia Francisco, Pablo Gervás, Federico Peinado:
Ontological Reasoning to Configure Emotional Voice Synthesis. 88-102 - Jos de Bruijn, Stijn Heymans:
A Semantic Framework for Language Layering in WSML. 103-117 - Mouhamed Diouf, Sofian Maabout, Kaninda Musumbu:
Merging Model Driven Architecture and Semantic Web for Business Rules Generation. 118-132 - Philip David Smart, Alia I. Abdelmoty, Baher A. El-Geresy, Christopher B. Jones:
A Framework for Combining Rules and Geo-ontologies. 133-147 - Xi Bai, Jigui Sun, Zehai Li, Xianrui Lu:
Domain Ontology Learning and Consistency Checking Based on TSC Approach and Racer. 148-162 - Jing Mei, Zuoquan Lin, Harold Boley:
ALCuP: An Integration of Description Logic and General Rules. 163-177 - Yimin Wang, Jie Bao, Peter Haase, Guilin Qi:
Evaluating Formalisms for Modular Ontologies in Distributed Information Systems. 178-193 - Domenico Lembo, Marco Ruzzi:
Consistent Query Answering over Description Logic Ontologies. 194-208
Short Papers
- Heiko Stoermer, Paolo Bouquet, Ignazio Palmisano, Domenico Redavid:
A Context-Based Architecture for RDF Knowledge Bases: Approach, Implementation and Preliminary Results. 209-218 - Ammar Mechouche, Christine Golbreich, Bernard Gibaud:
Towards a Hybrid System Using an Ontology Enriched by Rules for the Semantic Annotation of Brain MRI Images. 219-228 - Sangun Park, Juyoung Kang, Wooju Kim:
A Framework for Ontology Based Rule Acquisition from Web Documents. 229-238 - María Alpuente, Demis Ballis, Moreno Falaschi, Pedro Ojeda, Daniel Romero:
A Fast Algebraic Web Verification Service. 239-248 - Nick Bassiliades, Grigoris Antoniou, Guido Governatori:
Proof Explanation in the DR-DEVICE System. 249-258 - Erik Behrends, Oliver Fritzen, Tobias Knabke, Wolfgang May, Franz Schenk:
Rule-Based Active Domain Brokering for the Semantic Web. 259-268 - Natalia Cherchago, Pascal Hitzler, Steffen Hölldobler:
Decidability Under the Well-Founded Semantics. 269-278 - Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni:
A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services. 279-288 - Thomas Lukasiewicz, Umberto Straccia:
Tightly Integrated Fuzzy Description Logic Programs Under the Answer Set Semantics for the Semantic Web. 289-298 - Tobias Kuhn:
AceRules: Executing Rules in Controlled Natural Language. 299-308 - Milan Milanovic, Dragan Gasevic, Adrian Giurca, Gerd Wagner, Sergey Lukichev, Vladan Devedzic:
Bridging Concrete and Abstract Syntax of Web Rule Languages. 309-318 - Sacha Berger, François Bry, Tim Furche, Andreas J. Häusler:
Completing Queries: Rewriting of Incomplete Web Queries Under Schema Constraints. 319-328 - Morteza Haghir Chehreghani, Hassan Abolhassani, Mostafa Haghir Chehreghani:
Attaining Higher Quality for Density Based Algorithms. 329-338 - Hyung Moo Kim, Jae Soo Yoo:
Correlation Rules and Ontologies Acquisition in Knowledge Extraction of Image. 339-347 - Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszynski:
Hybrid Reasoning with Rules and Constraints under Well-Founded Semantics. 348-357
Selected Posters
- Alfonso Sánchez-Macián, Encarna Pastor, Jorge E. López de Vergara, David López:
Extending SWRL to Enhance Mathematical Support. 358-360 - Martin J. O'Connor, Ravi D. Shankar, Samson W. Tu, Csongor Nyulas, Amar K. Das, Mark A. Musen:
Efficiently Querying Relational Databases Using OWL and SWRL. 361-363 - Alexandros Chortaras, Giorgos B. Stamou, Andreas Stafylopatis:
Top-Down Computation of the Semantics of Weighted Fuzzy Logic Programs. 364-366 - Efstratios Kontopoulos, Nick Bassiliades, Grigoris Antoniou:
A Visualization Algorithm for Defeasible Logic Rule Bases over RDF Data. 367-369 - Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler, Michael Sintek, Denny Vrandecic:
Efficient OWL Reasoning with Logic Programs - Evaluations. 370-373 - Tadeusz Pankowski, Jolanta Cybulka, Adam Meissner:
Reasoning About XML Schema Mappings in the Presence of Key Constraints and Value Dependencies. 374-376 - Grazyna Brzykcy, Jerzy Bartoszek:
Context in Rules Used in P2P Semantic Data Integration System. 377-380
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-04-29 00:06 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
