A polynomial time subsumption algorithm for nominal safe ELO⊥ under rational closure
Abstract Description Logics (DLs) under Rational Closure (RC) is a well-known framework
for non-monotonic reasoning in DLs. In this paper, we address the concept subsumption …
for non-monotonic reasoning in DLs. In this paper, we address the concept subsumption …
NoHR: An Overview: Reasoning with Ontologies and Nonmonotonic Rules
Abstract Description logic ontologies, such as ontologies written in OWL, and non-monotonic
rules, as known in Logic Programming, are two major approaches in Knowledge …
rules, as known in Logic Programming, are two major approaches in Knowledge …
[HTML][HTML] On updates of hybrid knowledge bases composed of ontologies and rules
Throughout the last decade, two distinct knowledge representation paradigms have been
standardised to capture rich metadata on the Web: ontology languages based on Classical …
standardised to capture rich metadata on the Web: ontology languages based on Classical …
[PDF][PDF] Efficient paraconsistent reasoning with ontologies and rules
Logic (DL) based ontologies and nonmonotonic rules provide complementary features
whose combination is crucial in many applications. In hybrid knowledge bases (KBs), which …
whose combination is crucial in many applications. In hybrid knowledge bases (KBs), which …
Combining rules and ontologies into clopen knowledge bases
Abstract We propose Clopen Knowledge Bases (CKBs) as a new formalism combining
Answer Set Programming (ASP) with ontology languages based on first-order logic. CKBs …
Answer Set Programming (ASP) with ontology languages based on first-order logic. CKBs …
Nohr: Integrating XSB prolog with the OWL 2 profiles and beyond
We present the latest, substantially improved, version of NoHR, a reasoner designed to
answer queries over hybrid theories composed of an OWL ontology in Description Logics …
answer queries over hybrid theories composed of an OWL ontology in Description Logics …
Next step for NoHR: OWL 2 QL
The Protégé plug-in NoHR allows the user to combine an OWL 2 EL ontology with a set of
non-monotonic (logic programming) rules–suitable, eg, to express defaults and exceptions …
non-monotonic (logic programming) rules–suitable, eg, to express defaults and exceptions …
What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems
In open environments, agents need to reason with knowledge from various sources,
represented in different languages. Multi-Context Systems (MCSs) allow for the integration …
represented in different languages. Multi-Context Systems (MCSs) allow for the integration …
Evolving bridge rules in evolving multi-context systems
In open environments, agents need to reason with knowledge from various sources,
represented in different languages. Managed Multi-Context Systems (mMCSs) allow for the …
represented in different languages. Managed Multi-Context Systems (mMCSs) allow for the …
Telco network inventory validation with nohr
V Kasalica, I Gerochristos, JJ Alferes… - … PA, USA, June 3-7, 2019 …, 2019 - Springer
Network database inventory is a critical tool for the operations of any telecommunication
company, by supporting network configuration and maintenance, as well as troubleshooting …
company, by supporting network configuration and maintenance, as well as troubleshooting …