Cited in
(98)- On the scalability of description logic instance retrieval
- Automated reasoning in \(\mathcal{ALCQ}\) via SMT
- Realizing Default Logic over Description Logic Knowledge Bases
- CoLoSS: the coalgebraic logic satisfiability solver
- ABox abduction in the description logic \(\mathcal{ALC}\)
- Computing the least common subsumer w.r.t. a background terminology
- Composing Modular Ontologies with Distributed Description Logics
- Multimedia enriched ontologies for video digital libraries
- Put my galakmid coin into the dispenser and kick it: computational linguistics and theorem proving in a computer game
- Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \)
- The OWL reasoner evaluation (ORE) 2015 competition report
- Natural language directed inference from ontologies
- Hybrid logics and ontology languages
- Combining interval-based temporal reasoning with general TBoxes
- Decidability of SHIQ with complex role inclusion axioms
- Intelligent tableau algorithm for DL reasoning
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
- GeoMergeP: geographic information integration through enriched ontology matching
- Data complexity of query answering in expressive description logics via tableaux
- Ontologies and Databases: The DL-Lite Approach
- The complexity of finite model reasoning in description logics
- Expressive probabilistic description logics
- Efficient description logic reasoning in Prolog: The DLog system
- Ontology Integration Using ε-Connections
- Flexible software architectures for ontology-based information systems
- Correctness and worst-case optimality of Pratt-style decision procedures for modal and hybrid logics
- Description Logics
- Satisfiability and reasoning mechanism of terminological cycles in description logic \(v\mathcal L\)
- HTab: a terminating tableaux system for hybrid logic
- A formal model of semantic computing
- Similarity-based relaxed instance queries
- Foundations of Information and Knowledge Systems
- Exploiting conjunctive queries in description logic programs
- A resolution-based calculus for preferential logics
- Reasoning on UML class diagrams
- Automated reasoning. 1st international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001. Proceedings
- A tableau algorithm for description logics with concrete domains and general TBoxes
- Hilberticus
- OilEd
- KAON
- DAML+OIL
- OMT-G
- TRIPLE
- DLVHEX
- STRIP
- CoLoSS
- Pellet
- TATL
- Reasoning about interaction protocols for customizing web service selection and composition
- FaCT++
- KAON2
- Cool
- SATLIB Benchmark Suite
- CEL
- Chainsaw
- COROR
- HermiT
- DReW
- HTab
- Konclude
- PVSio
- TrOWL
- HyLoTab
- VisualSEEk
- swrl
- DRAGO
- RealityGrid
- Protege
- RacerPro
- Sonic
- A tableau decision procedure for \(\mathcal{SHOIQ}\)
- Deciding expressive description logics in the framework of resolution
- PolyLib
- LIGHT
- MODPROF
- ELepHant
- ELK
- JFact
- Snorocket
- KRHyper
- NoHR
- Wikipedia Miner
- leanK
- NASA PVS
- KL-ONE
- Automated Reasoning
- BayesOWL
- CLProver
- Reasoning with rough description logics: An approximate concepts approach
- Incremental classification of description logics ontologies
- Open answer set programming for the semantic web
- Combining answer set programming with description logics for the semantic web
- Automata-based axiom pinpointing
- From description-logic programs to multi-context systems
- (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\)
- Reasoning in description logics by a reduction to disjunctive datalog
- Formally verified tableau-based reasoners for a description logic
- Automated Deduction – CADE-20
This page was built for software: Racer
