scientific article; zbMATH DE number 1765711
From MaRDI portal
Publication:4539653
Recommendations
Cited in
(45)- Matching in Hybrid Terminologies
- Incremental classification of description logics ontologies
- Deciding expressive description logics in the framework of resolution
- Automated reasoning in \(\mathcal{ALCQ}\) via SMT
- Optimized description logic reasoning via core blocking
- Description Logics
- ABox abduction in the description logic \(\mathcal{ALC}\)
- Reasoning on UML class diagrams
- Individual Reuse in Description Logic Reasoning
- Combining interval-based temporal reasoning with general TBoxes
- Decidability of SHIQ with complex role inclusion axioms
- A tableau algorithm for description logics with concrete domains and general TBoxes
- Data complexity of query answering in expressive description logics via tableaux
- Multimedia enriched ontologies for video digital libraries
- Reasoning about interaction protocols for customizing web service selection and composition
- Flexible software architectures for ontology-based information systems
- A tableau decision procedure for \(\mathcal{SHOIQ}\)
- scientific article; zbMATH DE number 1612542 (Why is no real title available?)
- Ontology Integration Using ε-Connections
- Racer
- Combining answer set programming with description logics for the semantic web
- Reasoning with rough description logics: An approximate concepts approach
- CoLoSS: the coalgebraic logic satisfiability solver
- Exploiting conjunctive queries in description logic programs
- Correctness and worst-case optimality of Pratt-style decision procedures for modal and hybrid logics
- Automata-based axiom pinpointing
- Natural language directed inference from ontologies
- Computing the least common subsumer w.r.t. a background terminology
- scientific article; zbMATH DE number 1612595 (Why is no real title available?)
- Ontologies and Databases: The DL-Lite Approach
- On the scalability of description logic instance retrieval
- scientific article; zbMATH DE number 1612540 (Why is no real title available?)
- Expressive probabilistic description logics
- Reasoning in description logics by a reduction to disjunctive datalog
- COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (System Description)
- Open answer set programming for the semantic web
- Automata-Based Axiom Pinpointing
- Formally verified tableau-based reasoners for a description logic
- GeoMergeP: geographic information integration through enriched ontology matching
- Realizing Default Logic over Description Logic Knowledge Bases
- From description-logic programs to multi-context systems
- HTab: a terminating tableaux system for hybrid logic
- Satisfiability and reasoning mechanism of terminological cycles in description logic v L
- Composing Modular Ontologies with Distributed Description Logics
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4539653)
