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 Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies +
- A Brief Introduction to Formal Concept Analysis +
- A Closer Look at the Semantic Relationship between Datalog and Description Logics +
- A Description Logic Primer +
- A Description Logic Primer +
- A Matter of Principles: Towards the Largest DLP Possible +
- Attributed Description Logics: Ontologies for Knowledge Graphs +
- Attributed Description Logics: Reasoning on Knowledge Graphs +
- Category Theory in Ontology Research: Concrete Gain from an Abstract Approach +
- Complexities of Horn Description Logics +
- Complexities of Nominal Schemas +
- Complexity Boundaries for Horn Description Logics +
- Complexity of Horn Description Logics +
- Complexity of Universality and Related Problems for Partially Ordered NFAs +
- Computing Cores for Existential Rules with the Standard Chase and ASP +
- Concrete Results on Abstract Rules +
- Conjunctive Queries for EL with Role Composition +
- Conjunctive Queries for a Tractable Fragment of OWL 1.1 +
- Conjunctive Query Answering for Directional Rules +
- D1.3.1: Collaborative Articulation of Enterprise Knowledge (Early prototypes) +
- D1.3.2: Collaborative Articulation of Enterprise Knowledge (Demonstrator) +
- Data, Ontologies, Rules, and the Return of the Blank Node +
- Description Logic Rules +
- Description Logic Rules +
- Description Logics +
- ELP: Tractable Rules for OWL 2 +
- ELP: Tractable Rules for OWL 2 +
- Efficient Inferencing for OWL EL +
- Efficient Inferencing for the Description Logic Underlying OWL EL +
- Efficient Rule-Based Inferencing for OWL EL +
- Explainable Artificial Intelligence. Proceedings of the 15th Reasoning Web Summer School +
- Expressing Self-Referential Usage Policies for the Semantic Web +
- Expressive Tractable Description Logics based on SROIQ Rules +
- Extending Decidable Existential Rules by Joining Acyclicity and Guardedness +
- Finding the Largest Datalog Fragment of Description Logic +
- Generalized Ultrametric Spaces in Quantitative Domain Theory +
- Generalized Ultrametric Spaces in Quantitative Domain Theory +
- Getting the most out of Wikidata +
- How to reason with OWL in a logic programming system +
- Is Your Database System a Semantic Web Reasoner? +
- Morphisms in Context +
- Morphisms in Logic, Topology, and Formal Concept Analysis +
- Nominal Schemas for Integrating Rules and Description Logics +
- Nominal Schemas in Description Logics: Complexities Clarified +
- OWL 2 Profiles: An Introduction to Lightweight Ontology Languages +
- On the Complexity of Universality for Partially Ordered NFAs +
- On the Semantic Relationship between Datalog and Description Logics +
- On the complexity of Horn description logics +
- Ontological Modelling in Wikidata +
- Ontologies for Knowledge Graphs: Breaking the Rules +
