Suche mittels Attribut

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

Reasoning in Expressive Gödel Description Logics + (Maurizio Lenzerini, Rafael Peñaloza)
Efficient Axiom Pinpointing in EL using SAT Technology + (Maurizio Lenzerini, Rafael Peñaloza)
The Curse of Finiteness: Undecidability of Database-Inspired Reasoning Problems in Very Expressive Description Logics + (Maurizio Lenzerini, Rafael Peñaloza)
Open-World Probabilistic Databases (Extended Abstract) + (Maurizio Lenzerini, Rafael Peñaloza)
Reusing Ontological Background Knowledge in Semantic Wikis + (Max Völkel and Sebastian Schaffert and Stefan Decker)
Certain Answers in a Rough World + (Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus)
Axiom Dependency Hypergraphs for Fast Modularisation and Atomic Decomposition + (Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus)
Towards Parallel Repair: An Ontology Decomposition-based Approach + (Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus)
Detecting Conjunctive Query Differences between ELHr-Terminologies using Hypergraphs + (Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus)
Brave and Cautious Reasoning in EL + (Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus)
Mary, What's Like All Cats? + (Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus)
DeaLing with Ontologies using CODs + (Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus)
Evaluation of Extraction Techniques for Ontology Excerpts + (Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus)
Bayesian Description Logics + (Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus)
Fuzzy DLs over Finite Lattices with Nominals + (Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus)
Gödel FL_0 with Greatest Fixed-Point Semantics + (Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus)
Gödel Description Logics with General Models + (Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus)
Matching with respect to general concept inclusions in the Description Logic EL + (Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus)
Admissibility in Probabilistic Argumentation + (Meghyn Bienvenu, Gerhard Lakemeyer, Esra Erdem)
Capturing Homomorphism-Closed Decidable Queries with Existential Rules + (Meghyn Bienvenu, Gerhard Lakemeyer, Esra Erdem)
Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs + (Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, Mantas Simkus)
The DIAMOND System for Argumentation: Preliminary Report + (Michael Fink and Yuliya Lierler)
The DIAMOND system for argumentation: Preliminary report + (Michael Fink, Yuliya Lierler)
Reasoning about Actions using Description Logics with general TBoxes + (Michael Fisher and Wiebe van der Hoek and Boris Konev and Alexei Lisitsa)
Towards Building Ontologies with the Wisdom of the Crowd + (Michael Rovatsos, Ronald Chenu-Abente)

A Goal-Oriented Algorithm for Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies + (Michael Thielscher and Dongmo Zhang)

The Combined Approach to Query Answering in Horn-ALCHOIQ + (Michael Thielscher, Francesca Toni, Frank Wolter)
The Bayesian Ontology reasoner is BORN! + (Michel Dumontier, Birte Glimm, Rafael Gonçalves, Matthew Horridge, Ernesto Jiménez-Ruiz, Nicolas Matentzoglu, Bijan Parsia, Giorgos Stamou, Giorgos Stoilos)
The Complexity of Enriched µ-Calculi + (Michele Bugliesi and Bart Preneel and Vladimiro Sassone and Ingo Wegener)
On Classical Decidable Logics extended with Percentage Quantifiers and Arithmetics + (Mikołaj Bojańczyk, Chandra Chekuri)
DOM: An Active Assistance System for Architectural and Engineering Design + (Milton Tan and Robert Teh)
Extensions of Non-standard Inferences to Description Logics with transitive Roles + (Moshe Vardi and Andrei Voronkov)
From Tableaux to Automata for Description Logics + (Moshe Vardi and Andrei Voronkov)
On Structuring Proof Search for First Order Linear Logic + (Moshe Y. Vardi and Andrei Voronkov)
Semantic Operators and Fixed-Point Theory in Logic Programming + (N. Callaos and others)
An Object Oriented Simulation of Real Occurring Molecular Biological Processes for DNA Computing and Its Experimental Verification + (N. Jonoska and N.C. Seeman)
A Computational Logic Approach to the Suppression Task + (N. Miyake D. Peebles and R. P. Cooper)
On the State and Computational Complexity of the Reverse of Acyclic Minimal DFAs + (N. Moreira, R. Reis)
Axiom Pinpointing in General Tableaux + (N. Olivetti)
Data Complexity in the EL family of Description Logics + (Nachum Dershowitz and Andrei Voronkov)
Wolpertinger: A Fixed-Domain Reasoner + (Nadeschda Nikitina, Dezhao Song)
SQID: Towards Ontological Reasoning for Wikidata + (Nadeschda Nikitina, Dezhao Song)
Symbolic Dynamic Programming within the Fluent Calculus + (Naohiro Ishii)
Vagueness in Predicates and Objects + (Nathalie Aussenac-Gilles, Torsten Hahmann, Antony Galton, Maria M. Hedblom)
Standpoint Logic: Multi-Perspective Knowledge Representation + (Neuhaus F, Brodaric B)
A Fuzzy Description Logic with Hedges as Concept Modifiers + (Nguyen Hoang Phuong and Hung T. Nguyen and Nguyen Cat Ho and Pratit Santiprabhob)
A compact fuzzy extension of the Naive Bayesian classification algorithm + (Nguyen Hoang Phuong and Hung T. Nguyen and Nguyen Cat Ho and Pratit Santiprabhob)
Retractable Complex Event Processing and Stream Reasoning + (Nick Bassiliades, Guido Governatori, Adrian Paschke)
A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams + (Nick Bassiliades, Guido Governatori, Adrian Paschke)
Literal Projection and Circumscription + (Nicolas Peltier and Viorica Sofronie-Stokkermans)
Literal Projection and Circumscription + (Nicolas Peltier and Viorica Sofronie-Stokkermans)