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
- Exact Learning of Lightweight Description Logic Ontologies + (Kr14learning.pdf)
- Foundations of Knowledge Representation + (KRR-lecture-2.pdf)
- Foundations of Knowledge Representation + (KRR-lecture3.pdf)
- Foundations of Knowledge Representation + (KRR-lecture4.pdf)
- Foundations of Knowledge Representation + (KRR-lecture5.pdf)
- Foundations of Knowledge Representation + (KRR-lecture6.pdf)
- Foundations of Knowledge Representation + (KRR-lecture7.pdf)
- Foundations of Knowledge Representation + (KRR-lecture8.pdf)
- Foundations of Knowledge Representation + (KRR-lecture-9b.pdf)
- Foundations of Knowledge Representation + (ArgumentationKR.pdf)
- Foundations of Knowledge Representation + (KRR-Lecture11.pdf)
- Foundations of Knowledge Representation + (KRR-Lecture-12.pdf)
- The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion + (Kr2022-0021-karge-rudolph.pdf)
- Navigating and Querying Answer Sets: How Hard Is It Really and Why? + (Kr2024-0060-rusovac-et-al.pdf)
- Data Complexity in the EL family of DLs + (Krisnadhi-Lutz-DL07.pdf)
- Data Complexity in the EL family of Description Logics + (Krisnadhi-Lutz-LPAR07.pdf)
- Description Logic Rules + (Kroetzsch Description-Logic-Rules PhD 2010.pdf)
- Out of the Lab, Into the Wild: Growing Open Source Communities Around Academic Projects + (Kroetzsch Into-The-Wild OpenAdvice-Chapter-3.pdf)
- Concrete Results on Abstract Rules + (Kroetzsch Magka Horrocks Abstract Rules LPNMR 2013.pdf)
- OWL 2 Profiles: An Introduction to Lightweight Ontology Languages + (Kroetzsch OWL 2 Profiles Reasoning Web 2012.pdf)
- Efficient Rule-Based Inferencing for OWL EL + (Kroetzsch OWL-EL-Reasoning IJCAI 2011.pdf)
- Efficient Inferencing for OWL EL + (Kroetzsch OWL-EL-Reasoning Jelia2010.pdf)
- P ≠ P: Why Some Reasoning Problems Are More Tractable Than Others + (Kroetzsch P-not-equal-to-P RR 2014.pdf)
- Generalized Ultrametric Spaces in Quantitative Domain Theory + (Kroetzsch TR-WV-04-02.pdf)
- Too Much Information: Can AI Cope With Modern Knowledge Graphs? + (Kroetzsch-AI-Knowledge-Graphs-ICFCA-2019.pdf)
- A Description Logic Primer + (Kroetzsch-Frantisek-Horrocks-DL-Primer-1201.4089v3.pdf)
- A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies + (Kroetzsch-Maier-Krishnadi-Hitzler nominal-schemas WWW 2011.pdf)
- Nominal Schemas for Integrating Rules and Description Logics + (Kroetzsch-Maier-Kriznadi-Hitzler Nominal-schemas DL2011.pdf)
- Complexities of Nominal Schemas + (Kroetzsch-Rudolph Nominal-Schema-Complexities DL2014 ExtendedAbstract.pdf)
- Nominal Schemas in Description Logics: Complexities Clarified + (Kroetzsch-Rudolph Nominal-Schema-Complexities KR2014.pdf)
- Revisiting Acyclicity and Guardedness Criteria for Decidability of Existential Rules + (Kroetzsch-Rudolph-Joint-Acyclicity-TechReport-2011.pdf)
- A Closer Look at the Semantic Relationship between Datalog and Description Logics + (Kroetzsch-Rudolph-Schmitt-Datalog-DL-2015.pdf)
- Ontologies for Knowledge Graphs: Breaking the Rules + (Kroetzsch-Thost-breaking-kg-rules-2016.pdf)
- The Not-So-Easy Task of Computing Class Subsumptions in OWL RL + (Kroetzsch-owl-rl-classification-TR_2012.pdf)
- Orel: Database-Driven Reasoning for OWL 2 Profiles + (Kroetzsch-ul-Mehdi-Rudolph Orel-OWL-reasoner DL2010.pdf)
- How to reason with OWL in a logic programming system + (KroetzschHitzlerVrandecicSintek RuleML2006.pdf)
- The Tensor Product as a Lattice of Regular Galois Connections + (KroetzschMalik GaloisConnectionsConceptLattice.pdf)
- Conjunctive Queries for EL with Role Composition + (KroetzschRudolph ELquerying.pdf)
- Extending Decidable Existential Rules by Joining Acyclicity and Guardedness + (KroetzschRudolph Joint Acyclicity IJCAI 2011.pdf)
- ELP: Tractable Rules for OWL 2 + (KroetzschRudolphHitzler ELP TR 2008.pdf)
- Conjunctive Queries for a Tractable Fragment of OWL 1.1 + (KroetzschRudolphHitzler ELquerying ISWC2007.pdf)
- Complexity Boundaries for Horn Description Logics + (KroetzschRudolphHitzler HornTR2007.pdf)
- On the complexity of Horn description logics + (KroetzschRudolphHitzler OWLED2006.pdf)
- Description Logic Rules + (KroetzschRudolphHitzler SROIQ-Rules TR 2008.pdf)
- On the Semantic Relationship between Datalog and Description Logics + (KroetzschRudolphSchmitt DLP 2010.pdf)
- ShareAlike Your Data: Self-referential Usage Policies for the Semantic Web + (KroetzschSpeiser Self-referential-policies ISWC 2011.pdf)
- Semantic MediaWiki + (KroetzschVrandecicVoelkel ISWC2006.pdf)
- Semantic Wikipedia + (KroetzschVrandecicVoelkelHaller SemanticMediaWiki 2007.pdf)
- E-connections of Description Logics + (KuLuWoZa-DL2003.ps.gz)
- E-Connections of Abstract Description Systems + (KuLuWoZaAI03.ps.gz)
- Characterizing the semantics of terminological cycles with the help of finite automata + (Kuesters-DL-97.ps.gz)
