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