|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 32 occurrences of 32 keywords
|
|
|
|
|
Results
Found 243 publication records. Showing 243 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Antoine Zimmermann, Chan Le Duc |
Reasoning with a Network of Aligned Ontologies.  |
RR  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | François Bry, Tim Furche, Benedikt Linse |
Simulation Subsumption or Déjà vu on the Web. |
RR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Kifer |
Rule Interchange Format: The Framework. |
RR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Elenius, Grit Denker, Mark-Oliver Stehr |
A Semantic Web Reasoner for Rules, Equations and Constraints. |
RR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Terracina, Erika De Francesco, Claudio Panetta, Nicola Leone |
Enhancing a DLP System for Advanced Database Applications. |
RR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Motik |
Semantics and Reasoning Algorithms for a Faithful Integration of Description Logics and Rules. |
RR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler, Michael Sintek, Denny Vrandecic |
Efficient OWL Reasoning with Logic Programs - Evaluations. |
RR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hyung Moo Kim, Jae Soo Yoo |
Correlation Rules and Ontologies Acquisition in Knowledge Extraction of Image. |
RR |
2007 |
DBLP DOI BibTeX RDF |
LST, NDVI, Landsat ETM+, Classification, Correlation Analysis |
| 1 | Virginia Francisco, Pablo Gervás, Federico Peinado |
Ontological Reasoning to Configure Emotional Voice Synthesis. |
RR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wlodzimierz Drabent, Jan Maluszynski |
Well-Founded Semantics for Hybrid Rules. |
RR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Natalia Cherchago, Pascal Hitzler, Steffen Hölldobler |
Decidability Under the Well-Founded Semantics. |
RR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfonso Sánchez-Macián, Encarna Pastor, Jorge E. López de Vergara, David López 0004 |
Extending SWRL to Enhance Mathematical Support. |
RR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jos de Bruijn, Stijn Heymans |
A Semantic Framework for Language Layering in WSML. |
RR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Xi Bai 0002, Jigui Sun, Zehai Li, Xianrui Lu |
Domain Ontology Learning and Consistency Checking Based on TSC Approach and Racer. |
RR |
2007 |
DBLP DOI BibTeX RDF |
hierarchical clustering, consistency checking, Ontology learning, ontology reasoning |
| 1 | Philip David Smart, Alia I. Abdelmoty, Baher A. El-Geresy, Christopher B. Jones |
A Framework for Combining Rules and Geo-ontologies. |
RR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie (eds.) |
Web Reasoning and Rule Systems, First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007, Proceedings |
RR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yimin Wang, Jie Bao 0001, Peter Haase 0001, Guilin Qi |
Evaluating Formalisms for Modular Ontologies in Distributed Information Systems. |
RR |
2007 |
DBLP DOI BibTeX RDF |
modular ontologies, requirements, Distributed information systems, semantic technology |
| 1 | Mouhamed Diouf, Sofian Maabout, Kaninda Musumbu |
Merging Model Driven Architecture and Semantic Web for Business Rules Generation. |
RR |
2007 |
DBLP DOI BibTeX RDF |
ontology, Semantic Web, Artificial Intelligence, knowledge representation, knowledge based systems, Model Driven Architecture, reasoning, Business rules |
| 1 | Domenico Lembo, Marco Ruzzi |
Consistent Query Answering over Description Logic Ontologies. |
RR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Erik Behrends, Oliver Fritzen, Tobias Knabke, Wolfgang May, Franz Schenk |
Rule-Based Active Domain Brokering for the Semantic Web. |
RR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Lukasiewicz, Umberto Straccia |
Tightly Integrated Fuzzy Description Logic Programs Under the Answer Set Semantics for the Semantic Web. |
RR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Efstratios Kontopoulos, Nick Bassiliades, Grigoris Antoniou |
A Visualization Algorithm for Defeasible Logic Rule Bases over RDF Data. |
RR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Grazyna Brzykcy, Jerzy Bartoszek |
Context in Rules Used in P2P Semantic Data Integration System. |
RR |
2007 |
DBLP DOI BibTeX RDF |
context-aware processes, Prolog-like computations, operational semantics, P2P system, situation theory |
| 1 | Theofilos P. Mailis, Giorgos Stoilos, Giorgos B. Stamou |
Expressive Reasoning with Horn Rules and Fuzzy Description Logics. |
RR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Milan Milanovic, Dragan Gasevic, Adrian Giurca, Gerd Wagner 0001, Sergey Lukichev, Vladan Devedzic |
Bridging Concrete and Abstract Syntax of Web Rule Languages. |
RR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sangun Park, Juyoung Kang 0001, Wooju Kim |
A Framework for Ontology Based Rule Acquisition from Web Documents. |
RR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Kuhn |
AceRules: Executing Rules in Controlled Natural Language. |
RR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Mei, Zuoquan Lin, Harold Boley |
ALCuP: An Integration of Description Logic and General Rules. |
RR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sacha Berger, François Bry, Tim Furche, Andreas J. Häusler |
Completing Queries: Rewriting of Incomplete Web Queries Under Schema Constraints. |
RR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandros Chortaras, Giorgos B. Stamou, Andreas Stafylopatis |
Top-Down Computation of the Semantics of Weighted Fuzzy Logic Programs. |
RR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszynski |
Hybrid Reasoning with Rules and Constraints under Well-Founded Semantics. |
RR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Heiko Stoermer, Paolo Bouquet, Ignazio Palmisano, Domenico Redavid |
A Context-Based Architecture for RDF Knowledge Bases: Approach, Implementation and Preliminary Results. |
RR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
RR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tadeusz Pankowski, Jolanta Cybulka, Adam Meissner |
Reasoning About XML Schema Mappings in the Presence of Key Constraints and Value Dependencies. |
RR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ammar Mechouche, Christine Golbreich, Bernard Gibaud |
Towards a Hybrid System Using an Ontology Enriched by Rules for the Semantic Annotation of Brain MRI Images. |
RR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald Meyer |
On the Semantics of Service Compositions. |
RR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | François Bry, Michael Eckert |
Rule-Based Composite Event Queries: The Language XChangeEQ and Its Semantics. |
RR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Bassiliades, Grigoris Antoniou, Guido Governatori |
Proof Explanation in the DR-DEVICE System. |
RR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Debmalya Biswas |
Web Services Discovery and Constraints Composition. |
RR |
2007 |
DBLP DOI BibTeX RDF |
Web Services, Constraints, Composition, Discovery, Matchmaking |
| 1 | Marco Alberti 0001, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni |
A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services. |
RR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jos de Bruijn, David Pearce 0001, Axel Polleres, Agustín Valverde |
Quantified Equilibrium Logic and Hybrid Rules. |
RR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Demis Ballis, Moreno Falaschi, Pedro Ojeda, Daniel Romero 0001 |
A Fast Algebraic Web Verification Service. |
RR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Morteza Haghir Chehreghani, Hassan Abolhassani, Mostafa Haghir Chehreghani |
Attaining Higher Quality for Density Based Algorithms. |
RR |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #243 of 243 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license