Suche mittels Attribut

Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.

Liste der Ergebnisse

• Type-elimination-based Reasoning for the Description Logic SHIQbs using Decision Diagrams and Disjunctive Datalog  + (1202.0914.pdf)
• Admissibility in Probabilistic Argumentation  + (13530-Article (PDF)-31028-1-10-20220626.pdf)
• Improved Answer-Set Programming Encodings for Abstract Argumentation  + (1507.06689v1.pdf)
• Piecewise Testable Languages and Nondeterministic Automata  + (1603.00361.pdf)
• Spatial concepts - a rule exploration  + (2000_1217_Rudolph_Spatial_concept_1.pdf)
• Formal Concept Analysis Methods for Dynamic Conceptual Graphs  + (2001_1216_Ganter_Formal_Concept__1.pdf)
• An FCA Method for the Extensional Exploration of Relational Data  + (2003_1215_Rudolph_An_FCA_Method_f_1.pdf)
• Exploring Relational Structures via FLE  + (2004_1214_Rudolph_Exploring_Relat_1.pdf)
• A Deduction Calculus for Cumulated Clauses on FLE Concept Descriptions  + (2006_1327_Rudolph_A_Deduction_Cal_1.pdf)
• Report on realizing practical approximate and distributed reasoning for ontologies  + (2006_1403_Hitzler_Report_on_reali_1.pdf, 2006_1403_Hitzler_Report_on_reali_2.pdf)
• Encoding Closure Operators into Neural Networks  + (2007_1320_Rudolph_Encoding_Closur_1.pdf)
• Some Notes on Pseudo-closed Sets  + (2007_1337_Rudolph_Some_Notes_on_P_1.pdf)
• Using FCA for Encoding of Closure Operators into Neural Networks  + (2007_1457_Rudolph_Using_FCA_for_E_1.pdf)
• Supporting Lexical Ontology Learning by Relational Exploration  + (2007_1458_Rudolph_Supporting_Lexi_1.pdf)
• Generalized Domain-Range Restrictions  + (2007_1516_Rudolph_Generalized_Dom_1.pdf)
• Acquiring Generalized Domain-Range Restrictions  + (2008_1628_Rudolph_Acquiring_Gener_1.pdf)
• Lexico-Logical Acquisition of OWL DL Axioms - An Integrated Approach to Ontology Refinement  + (2008_1629_Völker_Lexico-Logical__1.pdf)
• What Is Approximate Reasoning?  + (2008_1731_Rudolph_What_Is_Approxi_1.pdf, 2008_1731_Rudolph_What_Is_Approxi_2.pdf)
• Intensional Question Answering using ILP: What does an answer mean?  + (2008_1754_Cimiano_Intensional_Que_1.pdf)
• Fostering Web Intelligence by Semi-automatic OWL Ontology Refinement  + (2008_1826_Völker_Fostering_Web_I_1.pdf)
• Tempus Fugit - Towards an Ontology Update Language  + (2009_1962_Lösch_Tempus_Fugit_-__1.pdf)
• Nominals, Inverses, Counting, and Conjunctive Queries or Why Infinity is your Friend!  + (2009_2000_Glimm_Nominals_Inver_1.pdf, 2009_2000_Glimm_Nominals_Inver_2.pdf)
• Datalog-Expressibility for Monadic and Guarded Second-Order Logic  + (2010.05677.pdf)
• Runtime Characterisation of Triple Stores  + (2012-Runtime-Characterization.pdf)
• QbDJ: A Novel Framework for Handling Skew in Parallel Join Processing on Distributed Memory  + (2013-A-Novel.pdf)

• A Fully Parallel Framework for Fast Analyzing RDF Data  + (2014-A-Fully.pdf)

• A Two-tier Index Architecture for Fast Processing Large RDF Data over Distributed Memory  + (2014-A-Two.pdf)
• Design and Evaluation of Parallel Hashing over Large-scale Data  + (2014-Design-Evaluation.pdf)
• Efficient Parallel Dictionary Encoding for RDF Data  + (2014-Efficient-Parallel.pdf)
• Robust and Efficient Large-large Table Outer Joins on Distributed Infrastructures  + (2014-Efficiently-Handling.pdf)
• Efficiently Handling Skew in Outer Joins on Distributed Systems  + (2014-Efficiently-Handling.pdf)
• Investigating Distributed Approaches to Efficiently Extract Textual Evidences for Biomedical Ontologies  + (2014-Inves-Distributed.pdf)
• Massively Parallel Reasoning under the Well-Founded Semantics using X10  + (2014-Massively- Parallel.pdf)
• Robust and Skew-resistant Parallel Joins in Shared-nothing Systems  + (2014-Robust-Skew.pdf)
• High Throughput Indexing for Large-scale Semantic Web Data  + (2015-High-Throughput.pdf)
• Scale-Out Processing of Large RDF Datasets  + (2015-tbd.pdf)
• Efficient Skew Handling for Outer Joins in a Cloud Computing Environment  + (2015-tcc-cheng.pdf)
• Efficient Large Outer Joins over MapReduce  + (2016-europar.pdf)
• Defeasible AceRules: A prototype  + (2017-IWCS DefeasibleAceRules.pdf)
• Practical Planning for Angry Birds  + (2017-absw-setup.pdf)
• Using Ontology-Based Data Access to Enable Context Recognition in the Presence of Incomplete Information (Extended Abstract)  + (2017-ki-journal-diss-vt.pdf)
• News on Temporal Conjunctive Queries  + (2017-wsp-temporal-qa.pdf)
• A Data-Driven Graph Schema  + (2018-amw-graph-schema.pdf)
• Reasoning over Existential Rules with Acyclicity Notions and the Datalog-first Restricted Chase  + (2018-existential-rules.pdf)
• Preserving Constraints with the Stable Chase  + (2018-icdt-cores.pdf)
• Efficient Model Construction for Horn Logic with VLog  + (2018-ijcar-restricted-chase-implementation.pdf)
• Modelling Dynamics in Semantic Web Knowledge Graphs with Formal Concept Analysis  + (20180221-www-dynamics-wikidata.pdf)
• Interactively Discovering Implicational Knowledge in Wikidata  + (2019-36c3-wikidata-implications.pdf)
• EMIL: Extracting Meaning from Inconsistent Language: Towards argumentation using a controlled natural language interface  + (2019-IJAR EMIL.pdf)
• From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment  + (2019-aaai-hsriq-to-datalog.pdf)
• The Exploration Game  + (2019-wikimania-hms-exploration-game.pdf)