From korrekt.org
The property topic assigns a topic to a publication.
(previous 25) (
next 25)
Pages using the property "Topic"
Showing 25 pages using this property.
A | |
|---|
| A Better Uncle For OWL + | Semantic Web +, Description logics +, Rule languages + |
| A Brief Introduction to FCA + | Formal Concept Analysis + |
| A Categorical View on Algebraic Lattices in Formal Concept Analysis + | Formal Concept Analysis +, Algebra and order + |
| A Description Logic Primer + | Description logics + |
| Acyclicity Conditions and their Application to Query Answering in Description Logics + | Description logics +, Rule languages + |
| Adventures of Two Little OWLs in Rule Land + | Description logics +, Rule languages + |
| All Elephants are Bigger than All Mice + | Description logics + |
| Approximate OWL-Reasoning with Screech + | Description logics +, Rule languages + |
C | |
|---|
| Complexities of Horn Description Logics + | Description logics + |
| Complexity Boundaries for Horn Description Logics + | Description logics + |
| Concurrent Classification of EL Ontologies + | Description logics +, ELK Reasoner + |
| Conjunctive Queries for EL with Role Composition + | Description logics + |
| Conjunctive Queries for a Tractable Fragment of OWL1.1 + | Description logics + |
D | |
|---|
| DL Role Constructors + | Description logics + |
| DLP isn't so bad after all + | Description logics +, Rule languages + |
| Description Logic Reasoning with Decision Diagrams + | Description logics +, Rule languages + |
| Description Logic Rules + | Description logics +, Rule languages + |
| Description Logic Rules (monograph) + | Description logics +, Rule languages + |
| Die Zukunft der Wikis: Semantic Web + | Semantic wikis + |
E | |
|---|
| ELK: A Reasoner for OWL EL Ontologies + | Description logics +, ELK Reasoner + |
| ELP: Tractable Rules for OWL 2 + | Description logics +, Rule languages + |
| Efficient Inferencing for OWL EL + | Description logics +, Rule languages + |
| Efficient Inferencing for the Description Logic Underlying OWL EL + | Description logics + |
| Efficient OWL Reasoning with Logic Programs + | Description logics +, Rule languages + |
| Efficient Rule-Based Inferencing for OWL EL + | Description logics +, Rule languages + |
(previous 25) (
next 25)
