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 Fully Parallel Framework for Fast Analyzing RDF Data +
- A Katsuno-Mendelzon-Style Characterization of AGM Belief Base Revision for Arbitrary Monotonic Logics (Preliminary Report) +
- AGM Revision in Description Logics under Fixed-Domain Semantics +
- Answering EL Queries in the Presence of Preferences +
- Breaking Down Finance – A Method of Concept Simplification by Identifying Movement Structures from the Image Schema PATH-Following +
- Combining three Ways of Conveying Knowledge: Modularization of Domain, Terminological, and Linguistic Knowledge in Ontologies +
- Complexities of Nominal Schemas +
- Conjunctive Query Answering with Finitely Many Truth Degrees +
- Conjunctive Query Entailment: Decidable in Spite of O, I, and Q +
- Dynamic Bayesian Description Logics +
- ELK Reasoner: Architecture and Evaluation +
- Efficient Axiom Pinpointing in EL using SAT Technology +
- Fixed-Domain Reasoning for Description Logics +
- Image Schemas and Conceptual Dependency Primitives: A Comparison +
- Just: a Tool for Computing Justifications w.r.t. EL Ontologies +
- Modelling Multiple Perspectives by Standpoint-Enhanced Description Logics (Extended Abstract) +
- Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling +
- On the Ontological Modeling of Trees +
- Open-World Probabilistic Databases (Extended Abstract) +
- Porting the xEBR taxonomies to a LOD compliant format +
- Practical Epistemic Entailment Checking in SROIQ +
- Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011 +
- Proceedings of the Eleventh International Conference on Concept Lattices and Their Applications, Košice, Slovakia, October 7-10, 2014 +
- Proceedings of the Joint Ontology Workshops 2022 Episode VIII: The Svear Sommar of Ontology, Jönköping, Sweden. +
- Query Answering in Bayesian Description Logics +
- Reasoning-Supported Interactive Revision of Knowledge Bases +
- Terminology-based patterns for natural language definitions in ontologies +
- The Bayesian Ontology reasoner is BORN! +
- The Curse of Finiteness: Undecidability of Database-Inspired Reasoning Problems in Very Expressive Description Logics +
- The role of pragmatics in solving the Winograd Schema Challenge +
- Towards the Generation of Semantically Enriched Multilingual Components of Ontology Labels +
- Unchain My EL Reasoner +
