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
- (Non-)Succinctness of uniform interpolants of general terminologies in the description logic ℰℒ +
- A Framework for Intuitionistic Grammar Logics +
- A Fully Parallel Framework for Fast Analyzing RDF Data +
- A Generalized Next-Closure Algorithm — Enumerating Semilattice Elements from a Generating Set +
- A New Method for Image Segmentation Based on Fuzzy Knowledge +
- A Practical Acyclicity Notion for Query Answering Over Horn-SRIQ Ontologies +
- Abstract Dialectical Frameworks. An Overview +
- Abstract Domains for Database Manipulating Processes +
- All But Not Nothing: Left-Hand Side Universals for Tractable OWL Profiles +
- 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 +
- Approximate OWL-Reasoning with Screech +
- Attributed Description Logics: Ontologies for Knowledge Graphs +
- Concurrent Classification of EL Ontologies +
- Consequence Operators for Characterization Logics – The Case of Abstract Argumentation +
- Datalog-Expressibility for Monadic and Guarded Second-Order Logic +
- Default Reasoning in Action Theories with Conditional, Non-Local Effect Actions +
- Die zwei Kulturen +
- ELP: Tractable Rules for OWL 2 +
- EU-Drittlandprogramme 2007-2013 +
- Efficient Dependency Analysis for Rule-Based Ontologies +
- Efficient Model Construction for Horn Logic with VLog: Extended Abstract +
- Evolution of Self-Definition +
- Exact Learning of Multivalued Dependencies +
- Exploring Implications and General Concept Inclusions with High Confidence +
- Extracting Confident General Concept Inclusions from Finite Interpretations +
- Fast Dual Simulation Processing of Graph Database Queries (Supplement) +
- General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Abstract) +
- Hidden Units, Equivalences and Implications (Poster Presentation) +
- How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic +
- Human Reasoning and Computational Logic +
- Indexing for Datalog Materialisation with Leapfrog Triejoin +
- Introducing Wikidata to the Linked Data Web +
- Logics with Concrete Domains: First-Order Properties, Abstract Expressive Power, and (Un)Decidability +
- Modeling OWL with Rules: The ROWL Protege Plugin +
- News on Temporal Conjunctive Queries +
- Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is Your Friend! +
- Notation3 as an Existential Rule Language +
- Proceedings of the 8th Workshop on Ontology Design and Patterns (WOP 2017) co-located with the 16th International Semantic Web Conference (ISWC 2017) +
- Proceedings of the Eleventh International Conference on Concept Lattices and Their Applications, Košice, Slovakia, October 7-10, 2014 +
- Pushing the Boundaries of Tractable Ontology Reasoning. +
- RDF syntax normalization using XML validation +
- Reasoning with Horn DL Ontologies and Knowledge Graphs +
- Refining Ontologies by Pattern-Based Completion +
- SQID: Towards Ontological Reasoning for Wikidata +
- Satisfiability Testing and its Applications +
- Scalable Understanding: Navigation Approaches for Answer Sets +
- Schema-Agnostic Query Rewriting in SPARQL 1.1 +
- Semantic Node-RED for rapid development of interoperable industrial IoT applications +
