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

• Preferential Query Answering in the Semantic Web with Possibilistic Networks  + (BFL+-IJCAI16.pdf)
• Completing Description Logic Knowledge Bases using Formal Concept Analysis  + (BGSS-IJCAI07.pdf)
• Completing Description Logic Knowledge Bases using Formal Concept Analysis  + (BGSS-LTCS-06-02.pdf)
• Completing Description Logic Knowledge Bases using Formal Concept Analysis  + (BGSS-OWLED07.pdf)
• Datalog-Expressibility for Monadic and Guarded Second-Order Logic  + (BKR-ICALP2021-GSO.pdf)
• Reasonable Highly Expressive Query Languages: Extended Technical Report  + (BKR-IJCAI2015-queries.pdf)
• Integrating Description Logics and Action Formalisms for Reasoning about Web Services  + (BMLSW-LTCS-05-02.ps.gz)
• Conjunctive Query Answering with Finitely Many Truth Degrees  + (BMPT-DL15.pdf)
• Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies  + (BMPT-JoDS16.pdf)
• Bounded Treewidth and the Infinite Core Chase – Complications and Workarounds toward Decidable Querying  + (BMR-PODS-2023.pdf)
• Visualisierung räumlich-zeitlicher Inhalte aus Wikidata  + (BSc-Thesis-Georg-Wild-2014.pdf)
• Ontology-Based Monitoring of Dynamic Systems  + (Ba-KR-2014.pdf)
• Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles  + (BaBL-AI15.pdf)
• Temporalizing Ontology-Based Data Access  + (BaBL-CADE13.pdf)
• Query Rewriting for DL-Lite with n-ary Concrete Domains  + (BaBL-IJCAI17.pdf)
• Temporal Query Entailment in the Description Logic SHQ  + (BaBL-JWS15.pdf)
• Temporal Conjunctive Queries in Expressive DLs with Non-simple Roles  + (BaBL-LTCS-15-17.pdf)
• A Goal-Oriented Algorithm for Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies  + (BaBM-AI12.pdf)
• Computing Minimal EL-unifiers is Hard  + (BaBM-AiML12.pdf)
• A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes  + (BaBM-DL-12.pdf)
• SAT-Encoding of Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies  + (BaBM-IJCAR-12.pdf)
• Extending Unification in EL Towards General TBoxes  + (BaBM-KR12.pdf)
• Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification  + (BaBM-LMCS16.pdf)
• Unification in the Description Logic EL w.r.t. Cycle-Restricted TBoxes  + (BaBM-LTCS-11-05.pdf)
• SAT Encoding of Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies  + (BaBM-LTCS-12-02.pdf)

• Computing Minimal EL-Unifiers is Hard  + (BaBM-LTCS-12-03.pdf)

• A Goal-Oriented Algorithm for Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies  + (BaBM-LTCS-12-05.pdf)
• Dismatching and Local Disunification in EL  + (BaBM-LTCS-15-03.pdf)
• Dismatching and local disunification in EL  + (BaBM-RTA15.pdf)
• Recent Advances in Unification for the EL Family  + (BaBM-UNIF12.pdf)
• On the Decidability Status of Fuzzy ALC with General Concept Inclusions  + (BaBP-JPL15.pdf)
• Decidability and Complexity of Fuzzy Description Logics  + (BaBP-KI16.pdf)
• Runtime Verification Using a Temporal Description Logic  + (BaBaLi-FroCoS09.pdf)
• Matching Trace Patterns with Regular Policies  + (BaBaTiu09.pdf)
• Unification in the Description Logic EL without the Top Concept  + (BaBiBoMoCADE11.pdf)
• 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)