Regelbasiertes Reasoning auf massiv paralleler Hardware

[1]  Jing Li,et al.  A Distributed Rule Engine Based on Message-Passing Model to Deal with Big Data , 2014 .

[2]  Daniel J. Abadi,et al.  Scalable Semantic Web Data Management Using Vertical Partitioning , 2007, VLDB.

[3]  Alfred Horn,et al.  On sentences which are true of direct unions of algebras , 1951, Journal of Symbolic Logic.

[4]  Frank van Harmelen,et al.  OWL Reasoning with WebPIE: Calculating the Closure of 100 Billion Triples , 2010, ESWC.

[5]  James A. Hendler,et al.  Matrix "Bit" loaded: a scalable lightweight join query processor for RDF data , 2010, WWW '10.

[6]  Arch D. Robison,et al.  Structured Parallel Programming: Patterns for Efficient Computation , 2012 .

[7]  Bernhard Humm,et al.  Was bedeutet eigentlich Ontologie? , 2012, Informatik-Spektrum.

[8]  Michael J. Flynn,et al.  Some Computer Organizations and Their Effectiveness , 1972, IEEE Transactions on Computers.

[9]  Albert Zündorf,et al.  Large Scale Rule-Based Reasoning Using a Laptop , 2015, ESWC.

[10]  Anoop Gupta,et al.  Comparison of the RETE and TREAT production matchers for soar (A summary) , 1988, AAAI 1988.

[11]  Daniel P. Miranker.  TREAT: a better match algorithm for AI production systems , 1987, AAAI 1987.

[12]  Jeff Heflin,et al.  Partitioning OWL Knowledge Bases for Parallel Reasoning , 2014, 2014 IEEE International Conference on Semantic Computing.

[13]  Vipul Kashyap,et al.  The Semantic Web - Semantics for Data and Services on the Web , 2008, Data-Centric Systems and Applications.

[14]  Herman J. ter Horst,et al.  Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary , 2005, J. Web Semant..

[15]  Charles L. Forgy,et al.  Rete: A Fast Algorithm for the Many Patterns/Many Objects Match Problem , 1982, Artif. Intell..

[16]  Qing Wang,et al.  The Performance Optimization of CLIPS , 2009, 2009 Ninth International Conference on Hybrid Intelligent Systems.

[17]  Frank van Harmelen,et al.  Mind the data skew: distributed inferencing by speeddating in elastic regions , 2010, WWW '10.

[18]  Frank van Harmelen,et al.  KR and Reasoning on the Semantic Web: Web-Scale Reasoning , 2011, Handbook of Semantic Web Technologies.

[19]  Christine Golbreich.  What Reasoning Support for Ontology and Rules? The Brain Anatomy Case Study , 2005, OWLED.

[20]  Paola Mello,et al.  Adding Uncertainty to a Rete-OO Inference Engine , 2008, RuleML.

[21]  James A. Hendler,et al.  Parallel Materialization of the Finite RDFS Closure for Hundreds of Millions of Triples , 2009, SEMWEB.

[22]  Frank van Harmelen,et al.  Scalable Distributed Reasoning Using MapReduce , 2009, SEMWEB.

[23]  Viktor K. Prasanna,et al.  A Data Partitioning Approach for Parallelizing Rule Based Inferencing for Materialized OWL Knowledge Bases , 2008, ISCA PDCCS.

[24]  David R. Kaeli,et al.  Heterogeneous Computing with OpenCL - Revised OpenCL 1.2 Edition , 2012 .

[25]  Peter F. Patel-Schneider,et al.  A comparison of two modelling paradigms in the Semantic Web , 2007, J. Web Semant..

[26]  Jacopo Urbani,et al.  Efficient RDF stream reasoning with graphics processingunits (GPUs) , 2014, WWW '14 Companion.

[27]  W. Chase,et al.  Visual information processing. , 1974 .

[28]  John J. McCarthy,et al.  The Rule Engine for the Java Platform , 2008 .

[29]  Hugh E. Williams,et al.  Compressing Integers for Fast File Access , 1999, Comput. J..

[30]  Sabine Sachweh,et al.  Domain Independent Architecture and Behavior Modeling for Pervasive Computing Environments , 2012, 2012 Sixth International Conference on Complex, Intelligent, and Software Intensive Systems.

[31]  Jay Labhart,et al.  Forward chaining parallel inference , 1990, IEEE Conference on Aerospace and Electronics.

[32]  Allen Newell,et al.  Parallel algorithms and architectures for rule-based systems , 1986, ISCA '86.

[33]  W. N. Borst,et al.  Construction of Engineering Ontologies for Knowledge Sharing and Reuse , 1997 .

[34]  Daniel Oberle,et al.  Ontologies and Reasoning in Enterprise Service Ecosystems , 2014, Informatik-Spektrum.

[35]  Pascal Hitzler,et al.  A MapReduce Algorithm for EL+ , 2010, Description Logics.

[36]  Xiaofeng Qiu,et al.  Improved RETE Algorithm in Context Reasoning for Web of Things Environments , 2013, 2013 IEEE International Conference on Green Computing and Communications and IEEE Internet of Things and IEEE Cyber, Physical and Social Computing.

[37]  Wolfgang May.  Reasoning im und für das Semantic Web , 2005, Grundlagen von Datenbanken.

[38]  Declan O'Sullivan,et al.  COROR: A COmposable Rule-Entailment Owl Reasoner for Resource-Constrained Devices , 2011, RuleML Europe.

[39]  Stuart E. Middleton,et al.  Ontology-based Recommender Systems , 2004, Handbook on Ontologies.

[40]  A Gupta,et al.  Parallelism in production systems: the sources and the unexpected speed up , 1986 .

[41]  Frank J. Furrer.  Eine kurze Geschichte der Ontologie , 2012, Informatik-Spektrum.

[42]  Declan O'Sullivan,et al.  An Automatically Composable OWL Reasoner for Resource Constrained Devices , 2009, 2009 IEEE International Conference on Semantic Computing.

[43]  Neil Madden,et al.  Optimising RETE for Low-Memory Multiagent Systems , 2003, GAME-ON.

[44]  Paola Mello,et al.  An Hybrid Architecture Integrating Forward Rules with Fuzzy Ontological Reasoning , 2010, HAIS.

[45]  Frank van Harmelen,et al.  WebPIE: A Web-scale Parallel Inference Engine using MapReduce , 2012, J. Web Semant..

[46]  Jeff Z. Pan,et al.  RDFS Reasoning on Massively Parallel Hardware , 2012, International Semantic Web Conference.

[47]  Anoop Gupta.  Parallelism in production systems , 1987 .

[48]  Eric N. Hanson,et al.  A performance comparison of the Rete and TREAT algorithms for testing database rule conditions , 1992, [1992] Eighth International Conference on Data Engineering.

[49]  Boris Motik,et al.  A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes , 2006, LPAR.

[50]  Salvatore J. Stolfo.  Five Parallel Algorithms for Production System Execution on the DADO Machine , 1984, AAAI.

[51]  Zhe Wu,et al.  Optimizing Enterprise-Scale OWL 2 RL Reasoning in a Relational Database System , 2010, SEMWEB.

[52]  Matthew Scarpino.  OpenCL in Action: How to Accelerate Graphics and Computations , 2011 .

[53]  Sabine Sachweh,et al.  Including Metadata into an Ontology Based Pervasive Computing Architecture , 2012, 2012 IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications.

[54]  Zhe Wu,et al.  Implementing an Inference Engine for RDFS/OWL Constructs and User-Defined Rules in Oracle , 2008, 2008 IEEE 24th International Conference on Data Engineering.

[55]  Murat Osman Ünalir,et al.  Reordering Query and Rule Patterns for Query Answering in a Rete-Based Inference Engine , 2005, WISE Workshops.

[56]  William C. Regli,et al.  DAMLJessKB: A Tool for Reasoning with the Semantic Web , 2003, IEEE Intell. Syst..

[57]  Ke Wang,et al.  Data Partition and Parallel Evaluation of Datalog Programs , 1995, IEEE Trans. Knowl. Data Eng..

[58]  Paola Mello,et al.  A Rule-Based Implementation of Fuzzy Tableau Reasoning , 2010, RuleML.

[59]  Kristofer Schlachter,et al.  An Introduction to the OpenCL Programming Model , 2012 .

[60]  Guilin Qi,et al.  Reasoning with Large Scale Ontologies in Fuzzy pD* Using MapReduce , 2012, IEEE Computational Intelligence Magazine.

[61]  Frank van Harmelen,et al.  DynamiTE: Parallel Materialization of Dynamic RDF Data , 2013, SEMWEB.

[62]  Guilin Qi,et al.  Large Scale Fuzzy pD * Reasoning Using MapReduce , 2011, SEMWEB.

[63]  Eric Goodman,et al.  Scalable in-memory RDFS closure on billions of triples. , 2010 .

[64]  David Mizell,et al.  High-Performance Computing Applied to Semantic Databases , 2011, ESWC.

[65]  Toru Ishida,et al.  Optimizing Rules in Production System Programs , 1988, AAAI.

[66]  Jens Lehmann,et al.  DBpedia - A large-scale, multilingual knowledge base extracted from Wikipedia , 2015, Semantic Web.

[67]  Thomas R. Gruber,et al.  A translation approach to portable ontology specifications , 1993, Knowl. Acquis..

[68]  Tim Berners-Lee,et al.  Linked Data - The Story So Far , 2009, Int. J. Semantic Web Inf. Syst..

[69]  Steffen Staab,et al.  Semantic Web Architecture , 2011, Handbook of Semantic Web Technologies.

[70]  Salvatore J. Stolfo,et al.  DADO: A Tree-Structured Machine Architecture for Production Systems , 1982, AAAI.

[71]  Kazuhiro Kuwabara,et al.  MapReduce-Based Implementation of a Rule System , 2014, Recent Developments in Computational Collective Intelligence.

[72]  Toru Ishida,et al.  Methods and effectiveness of parallel rule firing , 1990, Sixth Conference on Artificial Intelligence for Applications.

[73]  C. V. Ramamoorthy,et al.  Knowledge and Data Engineering , 1989, IEEE Trans. Knowl. Data Eng..

[74]  Manolis Koubarakis,et al.  RDFS Reasoning and Query Answering on Top of DHTs , 2008, SEMWEB.

[75]  Viktor K. Prasanna,et al.  Parallel Inferencing for OWL Knowledge Bases , 2008, 2008 37th International Conference on Parallel Processing.