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

• The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains  + (BaBo-SAC-24.pdf)
• Metric Temporal Description Logics with Interval-Rigid Names  + (BaBoKoOzTh-FroCoS17.pdf)
• On the Complexity of Temporal Query Answering  + (BaBoLi-LTCS-13-01.pdf)
• Exploring Finite Models in the Description Logic ELgfp  + (BaDi09.pdf)
• Hybrid EL-Unification is NP-Complete  + (BaFM-DL13.pdf)
• Hybrid Unification in the Description Logic EL  + (BaFM-FroCoS13.pdf)
• Hybrid Unification in the Description Logic EL  + (BaFM-LTCS-13-7.pdf)
• Hybrid Unification in the Description Logic EL  + (BaFM-UNIF13.pdf)
• LTL over Description Logic Axioms  + (BaGhiLu-DL08.pdf)
• A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms  + (BaKP-ISWC-09.pdf)
• Context-Dependent Views to Axioms and Consequences of Semantic Web Ontologies  + (BaKP-JWS12.pdf)
• Computing Boundaries for Reasoning in Sub-Ontologies  + (BaKP-LTCS-09.pdf)
• Runtime Verification Using a Temporal Description Logic Revisited  + (BaLi-LTCS-14-01.pdf)
• Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics  + (BaLiLi-LPAR-10.pdf)
• Adding Causal Relationships to DL-based Action Formalisms  + (BaLiLi-LTCS-10-01.pdf)
• Verifying Properties of Infinite Sequences of Description Logic Actions  + (BaLiMe-ECAI10.pdf)
• Description Logic  + (BaLu-ML-Handbook-06.ps.gz)
• Integrating Description Logics and Action Formalisms: First Results  + (BaLuMiSaWo-AAAI-2005.pdf)
• A Description Logic Based Approach to Reasoning about Web Services  + (BaLuMiSaWo-WSS-2005.pdf)
• Fusions of Description Logics and Abstract Description Systems  + (BaLuStuWo-JAIR.ps.gz)
• UEL: Unification Solver for the Description Logic EL – System Description  + (BaMM-IJCAR-12.pdf)
• Matching with respect to general concept inclusions in the Description Logic EL  + (BaMo-DL14.pdf)
• Matching with respect to general concept inclusions in the Description Logic EL  + (BaMo-KI2014.pdf)
• Unification in the Description Logic EL  + (BaMo-LMCS09.pdf)
• SAT Encoding of Unification in EL  + (BaMo-LPAR-10.pdf)

• SAT Encoding of Unification in EL  + (BaMo-LTCS-10-04.pdf)

• Matching with respect to general concept inclusions in the Description Logic EL  + (BaMo-LTCS-14-3.pdf)
• Matching with respect to general concept inclusions in the Description Logic EL  + (BaMo-UNIF14.pdf)
• Unification in the Description Logic EL  + (BaMo09.pdf)
• On Language Equations with One-sided Concatenation  + (BaOk-FI13.pdf)
• Solving language equations and disequations with applications to disunification in description logics and monadic set constraints  + (BaOk-LPAR18.pdf)
• Solving Language Equations and Disequations Using Looping Tree Automata with Colors  + (BaOk-LTCS-12-01.pdf)
• GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable  + (BaPe-DL11.pdf)
• On the Undecidability of Fuzzy Description Logics with GCIs and Product t-norm  + (BaPe-FroCoS11.pdf)
• Are Fuzzy Description Logics with General Concept Inclusion Axioms Decidable?  + (BaPe-FuzzIEEE11.pdf)
• Automata-Based Axiom Pinpointing  + (BaPe-IJCAR08.pdf)
• Automata-based Axiom Pinpointing  + (BaPe-JAR.pdf)
• Blocking and Pinpointing in Forest Tableaux  + (BaPe-LTCS-08-02.pdf)
• Pinpointing in Terminating Forest Tableaux  + (BaPe-LTCS-08-03.pdf)
• Description Logics as Ontology Languages for the Semantic Web  + (BaSaJS60.pdf)
• Usability Issues in Description Logic Knowledge Base Completion  + (BaSe09.pdf)
• A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics  + (BaTiGiLTCS-03-05.ps.gz)
• Verification of Golog Programs over Description Logic Actions  + (BaZa-FroCoS13.pdf)
• Verification of Golog Programs over Description Logic Actions  + (BaZa-LTCS-13-08.pdf)
• Pushing the EL Envelope Further  + (BaaBraLu-OWLEDDC.pdf)
• A new combination procedure for the word problem that generalizes fusion decidability results in modal logics  + (BaaGT-IC-06-1.pdf)
• LTL over Description Logic Axioms  + (BaaGhiLu-KR08.pdf)
• Connecting Many-Sorted Theories  + (BaaGi-JSL-07.pdf)
• From Tableaux to Automata for Description Logics  + (BaaHlaLutWol-FI-03.ps.gz)
• From Tableaux to Automata for Description Logics  + (BaaHlaLutWol-LPAR03.ps.gz)
• Blocking Automata for PSPACE DLs  + (BaaHlaPen-DL-07.pdf)