Cited in
(only showing first 100 items - show all)- Ontology and time evolution of obligations and prohibitions using semantic web technology
- Conjunctive query answering for the description logic SHIQ
- Reasoning with nominal schemas through absorption
- Memory-limited model-based diagnosis
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
- Data Management and query processing in semantic web databases.
- LARS
- Optimized Reasoning in Description Logics Using Hypertableaux
- Evaluation of Ontologies and DL Reasoners
- CoLoSS: the coalgebraic logic satisfiability solver
- Ontologies and Databases: The DL-Lite Approach
- Inconsistency-tolerant reasoning with OWL DL
- Representation and monitoring of commitments and norms using OWL
- Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN
- Description Logics
- Optimized description logic reasoning via core blocking
- Effective method for detecting error causes from incoherent biological ontologies
- Satisfiability and reasoning mechanism of terminological cycles in description logic \(v\mathcal L\)
- Distributed Parameter Learning for Probabilistic Ontologies
- A formal model of semantic computing
- Improving software product line using an ontological approach
- Tableau reasoning for description logics and its extension to probabilities
- OWL reasoning: subsumption test hardness and modularity
- Individual Reuse in Description Logic Reasoning
- An access control language based on term rewriting and description logic
- Practical reasoning with qualified number restrictions: a hybrid Abox calculus for the description logic \({\mathcal{SHQ}}\).
- Composing Modular Ontologies with Distributed Description Logics
- Reasoning in Description Logics: Basics, Extensions, and Relatives
- Nominals, inverses, counting, and conjunctive queries or: why infinity is your friend!
- A tableau decision procedure for \(\mathcal{SHOIQ}\)
- Evaluation of automatic generation of basic stories
- Reasoning with rough description logics: An approximate concepts approach
- Enabling collaboration on semiformal mathematical knowledge by semantic web integration
- Incremental classification of description logics ontologies
- Intelligent decision-making for a smart home environment with multiple occupants
- Semantic operations of multiple soft sets under conflict
- Automata-based axiom pinpointing
- Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \)
- Putting ABox updates into action
- Service Specification and Matchmaking Using Description Logic
- Semantic decision making using ontology-based soft sets
- Consequence-based and fixed-parameter tractable reasoning in description logics
- The OWL reasoner evaluation (ORE) 2015 competition report
- Reasoning in description logics by a reduction to disjunctive datalog
- PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner
- Enhancing probabilistic model checking with ontologies
- A goal-directed decision procedure for hybrid PDL
- Coalgebraic Hybrid Logic
- Reasoning within expressive fuzzy rough description logics
- Hybrid logics and ontology languages
- Automated reasoning in \(\mathcal{ALCQ}\) via SMT
- Role Conjunctions in Expressive Description Logics
- A genetic algorithm for optimization of a relational knapsack problem with respect to a description logic knowledge base
- Database Technologies for RDF
- Probabilistic DL reasoning with pinpointing formulas: a Prolog-based approach
- Intelligent tableau algorithm for DL reasoning
- Efficient description logic reasoning in Prolog: The DLog system
- A hybrid method for probabilistic satisfiability
- A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes
- Extending soft sets with description logics
- On the Properties of Metamodeling in OWL
- OntCheck: an ontology-driven static correctness checking tool for component-based models
- SHIP -- a logic-based language and tool to program smart environments
- OntoDebug: interactive ontology debugging plug-in for Protégé
- HiLog
- OilEd
- C-SPARQL
- KAON
- DAML+OIL
- UDDI
- foaf
- LAD
- GtkMathView
- jsMath
- ROADRUNNER
- CoLoSS
- PITA
- OntCheck
- NNexus
- SPARQL
- TATL
- STEX+
- Formulator MathML
- Proclets
- DLog
- FaCT++
- KAON2
- Racer
- Jena
- Fuzzydl
- Ltur
- Cool
- nSPARQL
- SATLIB Benchmark Suite
- CEL
- Chainsaw
- COROR
- HermiT
- DReW
- Konclude
This page was built for software: Pellet
