Pellet

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