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
- A Generalized Next-Closure Algorithm — Enumerating Semilattice Elements from a Generating Set +
- A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes +
- A Matter of Principles: Towards the Largest DLP Possible +
- ADF-BDD.DEV: Insights to undecided Statements in Abstract Dialectical Frameworks +
- All But Not Nothing: Left-Hand Side Universals for Tractable OWL Profiles +
- All Elephants are Bigger than All Mice +
- An Ontology Design Pattern for Activity Reasoning +
- An Ontology Design Pattern for Data Integration in the Library Domain +
- An Ontology Design Pattern for Particle Physics Analysis +
- Answering Conjunctive Queries for Expressive DLs with the Restricted Chase: Extended Abstract +
- Approximating Resultants of Existential Second-Order Quantifier Elimination upon Universal Relational First-Order Formulas +
- Axiom Dependency Hypergraphs for Fast Modularisation and Atomic Decomposition +
- Axiomatizing EL^_gfp-General Concept Inclusions in the Presence of Untrusted Individuals +
- Bayesian Description Logics +
- Brave and Cautious Reasoning in EL +
- COBRA, a Demo +
- Certain Answers in a Rough World +
- Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract) +
- Computing the lcs w.r.t. General EL^+ TBoxes +
- Conjunctive Queries for EL with Role Composition +
- Contextual abduction and its complexity issues +
- Correcting Access Restrictions to a Consequence More Flexibly +
- DLP isn't so bad after all +
- DeaLing with Ontologies using CODs +
- Decidable Contextualized DLs with Rigid Roles +
- Description Logics that Count, and What They Can and Cannot Count (Extended Abstract) +
- Detecting Conjunctive Query Differences between ELHr-Terminologies using Hypergraphs +
- Efficient Dependency Analysis for Existential Rules +
- Efficient Model Construction for Horn Logic with VLog: Extended Abstract +
- Encoding Closure Operators into Neural Networks +
- Evaluation of Extraction Techniques for Ontology Excerpts +
- Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics +
- Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract) +
- Extending the Combined Approach Beyond Lightweight Description Logics +
- Finite Groundings for ASP with Functions: A Journey through Consistency (Extended Abstract) +
- Finite-Controllability of Conjunctive Queries in the Z family of Description Logics (Extended Abstract) +
- Fixed Parameter Tractable Reasoning in DLs via Decomposition +
- From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment +
- Fuzzy DLs over Finite Lattices with Nominals +
- Fuzzy Ontologies over Lattices with T-norms +
- General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Abstract) +
- Guiding Backprob by Inserting Rules +
- Gödel Description Logics with General Models +
- Gödel FL_0 with Greatest Fixed-Point Semantics +
- Happy Ever After: Temporally Attributed Description Logics +
- How to Best Nest Regular Path Queries +
- Human Syllogistic Reasoning: Towards Predicting Individuals' Reasoning Behavior based on Cognitive Principles +
- Hybrid EL-Unification is NP-Complete +
- Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 201 +
- Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs +
