Suche mittels Attribut
Aus International Center for Computational Logic
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
- Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs + (Carral)
- EL-ifying Ontologies + (Carral)
- An Ontology Design Pattern for Particle Physics Analysis + (Carral)
- A Practical Acyclicity Notion for Query Answering Over Horn-SRIQ Ontologies + (Carral)
- Restricted chase (non)termination for existential rules with disjunctions + (Carral)
- Tractable Query Answering for Expressive Ontologies and Existential Rules + (Carral)
- Preserving Constraints with the Stable Chase + (Carral)
- On the Ontological Modeling of Trees + (Carral)
- The Combined Approach to Query Answering in Horn-ALCHOIQ + (Carral)
- Reasoning with Horn DL Ontologies and Knowledge Graphs + (Carral)
- Tractable Query Answering for Expressive Ontologies and Existential Rules: Extended Abstract + (Carral)
- Answering Conjunctive Queries for Expressive DLs with the Restricted Chase: Extended Abstract + (Carral)
- From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment + (Carral)
- Reasoning over Existential Rules with Acyclicity Notions and the Datalog-first Restricted Chase + (Carral)
- Reasoning with Description Logics Ontologies and Knowledge Graphs + (Carral)
- Chasing Sets: How to Use Existential Rules for Expressive Reasoning + (Carral)
- The Combined Approach to Query Answering in Horn-ALCHOIQ (Extended Abstract) + (Carral)
- From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment + (Carral)
- Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract) + (Carral)
- VLog: A Rule Engine for Knowledge Graphs + (Carral)
- Checking Chase Termination over Ontologies of Existential Rules with Equality + (Carral)
- Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules + (Carral)
- Practical Uses of Existential Rules in Knowledge Representation + (Carral)
- Practical Uses of Existential Rules in Knowledge Representation + (Carral)
- Reasoner = Logical Calculus + Rule Engine + (Carral)
- A Hardware/Software Stack for Heterogeneous Systems + (Castrillon)
- Query Containment in Very Expressive XPath dialects + (Cate)
- Proceedings of the 2nd International Workshop on Ordering and Reasoning, OrdRing 2013 + (Celino)
- RFuzzy Framework + (Ceruelo)
- RFuzzy---A Framework for Multi-adjoint Fuzzy Logic Programming + (Ceruelo)
- Foundations of Implementations for Formal Argumentation + (Cerutti)
- Foundations of Implementations for Formal Argumentation + (Cerutti)
- A Benchmark Framework for a Computational Argumentation Competition + (Cerutti)
- Reasoning in the Description Logic BEL using Bayesian Networks + (Ceylan)
- Tight Complexity Bounds for Reasoning in the Description Logic BEL + (Ceylan)
- The Bayesian Description Logic BEL + (Ceylan)
- Bayesian Description Logics + (Ceylan)
- Answering EL Queries in the Presence of Preferences + (Ceylan)
- Dynamic Bayesian Description Logics + (Ceylan)
- Query Answering in Bayesian Description Logics + (Ceylan)
- The Bayesian Ontology reasoner is BORN! + (Ceylan)
- Probabilistic Query Answering in the Bayesian Description Logic BEL + (Ceylan)
- Open-World Probabilistic Databases + (Ceylan)
- Open-World Probabilistic Databases (Extended Abstract) + (Ceylan)
- Complexity Results for Probabilistic Datalog+/- + (Ceylan)
- The Bayesian Ontology Language BEL + (Ceylan)
- Most Probable Explanations for Probabilistic Database Queries + (Ceylan)
- Query Answering in Ontologies under Preference Rankings + (Ceylan)
- Open-World Probabilistic Databases: An Abridged Report + (Ceylan)
- The Complexity of Quantitative Information Flow in Recursive Programs + (Chadha)
- Methods for Solving Reasoning Problems in Abstract Argumentation – A Survey + (Charwat)