Pellet
From MaRDI portal
Software:19082
swMATH7019MaRDI QIDQ19082FDOQ19082
Author name not available (Why is that?)
Cited In (68)
- A Genetic Algorithm for Optimization of a Relational Knapsack Problem with Respect to a Description Logic Knowledge Base
- Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach
- Database Technologies for RDF
- Service Specification and Matchmaking Using Description Logic
- Role Conjunctions in Expressive Description Logics
- Evaluation of Ontologies and DL Reasoners
- Ontology and Time Evolution of Obligations and Prohibitions Using Semantic Web Technology
- Automated Reasoning in $\mathcal{ALCQ}$ via SMT
- OntCheck: an ontology-driven static correctness checking tool for component-based models
- HermiT: an OWL 2 reasoner
- A Hybrid Method for Probabilistic Satisfiability
- Title not available (Why is that?)
- On the Properties of Metamodeling in OWL
- Title not available (Why is that?)
- Incremental classification of description logics ontologies
- CoLoSS: The Coalgebraic Logic Satisfiability Solver
- A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes
- Intelligent Tableau Algorithm for DL Reasoning
- Description Logics
- Memory-limited model-based diagnosis
- Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN
- Individual Reuse in Description Logic Reasoning
- Practical reasoning with qualified number restrictions: A hybrid Abox calculus for the description logic 𝒮ℋ𝒬
- Coalgebraic Hybrid Logic
- Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \)
- OntoDLV: An ASP-based System for Enterprise Ontologies
- Extending soft sets with description logics
- Evaluation of automatic generation of basic stories
- Hybrid logics and ontology languages
- Reasoning with nominal schemas through absorption
- Representation and monitoring of commitments and norms using OWL
- Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing
- Reasoning in Description Logics: Basics, Extensions, and Relatives
- A tableau decision procedure for \(\mathcal{SHOIQ}\)
- Optimized Reasoning in Description Logics Using Hypertableaux
- Data Management and Query Processing in Semantic Web Databases
- Tableau reasoning for description logics and its extension to probabilities
- OWL reasoning: subsumption test hardness and modularity
- The OWL reasoner evaluation (ORE) 2015 competition report
- Reasoning with rough description logics: An approximate concepts approach
- (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\)
- Reasoning within expressive fuzzy rough description logics
- Automata-based axiom pinpointing
- Improving software product line using an ontological approach
- Optimizing terminological reasoning for expressive description logics
- Ontologies and Databases: The DL-Lite Approach
- Inconsistency-tolerant reasoning with OWL DL
- SHIP - A Logic-Based Language and Tool to Program Smart Environments
- Semantic decision making using ontology-based soft sets
- Reasoning in description logics by a reduction to disjunctive datalog
- Consequence-based and fixed-parameter tractable reasoning in description logics
- Enhancing probabilistic model checking with ontologies
- A goal-directed decision procedure for hybrid PDL
- Title not available (Why is that?)
- Distributed Parameter Learning for Probabilistic Ontologies
- PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner
- Effective method for detecting error causes from incoherent biological ontologies
- An Access Control Language Based on Term Rewriting and Description Logic
- Efficient description logic reasoning in Prolog: The DLog system
- OntoDebug: interactive ontology debugging plug-in for Protégé
- Putting ABox Updates into Action
- Semantic operations of multiple soft sets under conflict
- A formal model of semantic computing
- Optimized Description Logic Reasoning via Core Blocking
- Satisfiability and reasoning mechanism of terminological cycles in description logic \(v\mathcal L\)
- Composing Modular Ontologies with Distributed Description Logics
- Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend!
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
This page was built for software: Pellet