On the public citation graph
Reconciling description logics and rules
0 signed · 274 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/11552222_4openalex-snapshot
Semantic Web Architecture: Stack or Two Towers?
inferredcites →https://doi.org/10.1007/11580072_3openalex-snapshot
A Realistic Architecture for the Semantic Web
inferredcites →https://doi.org/10.1007/11762256_43openalex-snapshot
The Web Service Modeling Language WSML: An Overview
inferredcites →https://doi.org/10.1007/11814771_26openalex-snapshot
FaCT++ Description Logic Reasoner: System Description
inferredcites →https://doi.org/10.1007/3-540-63255-7_27openalex-snapshot
A deductive system for non-monotonic reasoning
inferredcites →https://doi.org/10.1007/3-540-64823-2_16openalex-snapshot
Datalog and description logics: Expressive power
inferredcites →https://doi.org/10.1007/978-1-4612-2360-3openalex-snapshot
First-Order Logic and Automated Theorem Proving
inferredcites →https://doi.org/10.1007/978-1-4615-5643-5_8openalex-snapshot
Description Logics for Conceptual Data Modeling
inferredcites →https://doi.org/10.1007/978-1-4684-0357-2openalex-snapshot
First-Order Logic and Automated Theorem Proving
inferredcites →https://doi.org/10.1007/978-3-540-30475-3_38openalex-snapshot
Query Answering for OWL-DL with Rules
inferredcites →https://doi.org/10.1007/978-3-540-72667-8_28openalex-snapshot
A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
inferredcites →https://doi.org/10.1007/978-3-540-72982-2_5openalex-snapshot
Quantified Equilibrium Logic and Hybrid Rules
inferredcites →https://doi.org/10.1007/978-3-540-76298-0_23openalex-snapshot
Conjunctive Queries for a Tractable Fragment of OWL 1.1
inferredcites →https://doi.org/10.1007/978-3-540-88564-1_41openalex-snapshot
ELP: Tractable Rules for OWL 2
inferredcites →https://doi.org/10.1007/978-3-642-59207-2openalex-snapshot
The Classical Decision Problem
inferredcites →https://doi.org/10.1007/bf00883932openalex-snapshot
Embedding defaults into terminological knowledge representation formalisms
inferredcites →https://doi.org/10.1007/bf03037169openalex-snapshot
Classical negation in logic programs and disjunctive databases
inferredcites →https://doi.org/10.1007/s10817-007-9078-xopenalex-snapshot
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
inferredcites →https://doi.org/10.1007/s10817-007-9080-3openalex-snapshot
Reasoning in Description Logics by a Reduction to Disjunctive Datalog
inferredcites →https://doi.org/10.1007/s10817-008-9102-9openalex-snapshot
Data Complexity of Query Answering in Expressive Description Logics via Tableaux
inferredcites →https://doi.org/10.1007/s11225-005-8473-8openalex-snapshot
A First Order Nonmonotonic Extension of Constructive Logic
inferredcites →https://doi.org/10.1016/0004-3702(80)90011-9openalex-snapshot
Circumscription—A form of non-monotonic reasoning
inferredcites →https://doi.org/10.1016/0004-3702(80)90014-4openalex-snapshot
A logic for default reasoning
inferredcites →https://doi.org/10.1016/0004-3702(84)90009-2openalex-snapshot
Foundations of a functional approach to knowledge representation
inferredcites →https://doi.org/10.1016/0004-3702(85)90042-6openalex-snapshot
Semantical considerations on nonmonotonic logic
inferredcites →https://doi.org/10.1016/0004-3702(94)90103-1openalex-snapshot
Minimal belief and negation as failure
inferredcites →https://doi.org/10.1016/0304-3975(76)90061-xopenalex-snapshot
The polynomial-time hierarchy
inferredcites →https://doi.org/10.1016/0378-2166(81)90030-8openalex-snapshot
Frame conceptions and text understanding
inferredcites →https://doi.org/10.1016/0743-1066(84)90011-6openalex-snapshot
Making prolog more expressive
inferredcites →https://doi.org/10.1016/0743-1066(92)90049-9openalex-snapshot
What should a database know?
inferredcites →https://doi.org/10.1016/b978-0-934613-03-3.50034-9openalex-snapshot
The Logic of Frames
inferredcites →https://doi.org/10.1016/j.artint.2008.04.002openalex-snapshot
Combining answer set programming with description logics for the Semantic Web
inferredcites →https://doi.org/10.1016/j.websem.2005.05.001openalex-snapshot
Query Answering for OWL-DL with rules
inferredcites →https://doi.org/10.1016/j.websem.2005.05.002openalex-snapshot
On the decidability and complexity of integrating ontologies and rules
inferredcites →https://doi.org/10.1016/j.websem.2005.05.003openalex-snapshot
OWL rules: A proposal and prototype implementation
inferredcites →https://doi.org/10.1016/j.websem.2006.05.007openalex-snapshot
The foundational model of anatomy in OWL: Experience and perspectives
inferredcites →https://doi.org/10.1016/s0004-3702(98)00048-4openalex-snapshot
Combining Horn rules and description logics in CARIN
inferredcites →https://doi.org/10.1017/cbo9780511711787openalex-snapshot
The Description Logic Handbook
inferredcites →https://doi.org/10.1017/cbo9781107325630.008openalex-snapshot
Computational Complexity
inferredcites →https://doi.org/10.1017/s174392130701201xopenalex-snapshot
An ontology of sstronomical object types for the Virtual Observatory
inferredcites →https://doi.org/10.1023/a:1008687430626openalex-snapshot
AL-log: Integrating Datalog and Description Logics
inferredcites →https://doi.org/10.1023/a:1020255204705openalex-snapshot
Minimal Belief and Negation as Failure in Multi-Agent Systems
inferredcites →https://doi.org/10.1090/dimacs/031/05openalex-snapshot
Why is modal logic so robustly decidable?
inferredcites →https://doi.org/10.1108/k.2003.06732iae.006openalex-snapshot
The Description Logic Handbook – Theory, Implementation and Applications
inferredcites →https://doi.org/10.1109/69.75885openalex-snapshot
CLASP: integrating term subsumption systems and production systems
inferredcites →https://doi.org/10.1145/1149114.1149117openalex-snapshot
The DLV system for knowledge representation and reasoning
inferredcites →https://doi.org/10.1145/116825.116838openalex-snapshot
The well-founded semantics for general logic programs
inferredcites →https://doi.org/10.1145/122296.122309openalex-snapshot
Inside the LOOM description classifier
inferredcites →https://doi.org/10.1145/122296.122313openalex-snapshot
The CLASSIC knowledge representation system
inferredcites →https://doi.org/10.1145/1929954.1929957openalex-snapshot
Embedding nonground logic programs into autoepistemic logic for knowledge-base combination
inferredcites →https://doi.org/10.1145/201019.201031openalex-snapshot
NP trees and Carnap's modal logic
inferredcites →https://doi.org/10.1145/210332.210335openalex-snapshot
Logical foundations of object-oriented and frame-based languages
inferredcites →https://doi.org/10.1145/275487.275504openalex-snapshot
On the decidability of query containment under constraints
inferredcites →https://doi.org/10.1145/4284.4285openalex-snapshot
The role of frame-based representation in reasoning
inferredcites →https://doi.org/10.1145/502807.502810openalex-snapshot
Complexity and expressive power of logic programming
inferredcites →https://doi.org/10.1145/505372.505373openalex-snapshot
Description logics of minimal knowledge and negation as failure
inferredcites →https://doi.org/10.1145/800070.802186openalex-snapshot
The complexity of relational query languages (Extended Abstract)
inferredcites →https://doi.org/10.1145/970831.970836openalex-snapshot
Review of "The classical decision problem" by Egon Börger,Erich Grädel and Yuri Gurevich. Springer-Verlag 1997.
inferredcites →https://doi.org/10.1145/988672.988771openalex-snapshot
A proposal for an owl rules language
inferredcites →https://doi.org/10.1613/jair.2763openalex-snapshot
The Complexity of Circumscription in DLs
inferredcites →https://doi.org/10.1613/jair.637openalex-snapshot
Reasoning about Minimal Belief and Negation as Failure
inferredcites →https://doi.org/10.2139/ssrn.460986openalex-snapshot
Description Logic Programs: Combining Logic Programs with Description Logic
inferredcites →https://doi.org/10.22028/d291-24896openalex-snapshot
Embedding defaults into terminological knowledge representation formalisms
inferredcites →https://doi.org/10.2753/jec1086-4415120204openalex-snapshot
Semantic Matchmaking of Web Resources with Local Closed-World Reasoning
inferredcites →https://doi.org/10.3233/978-1-58603-891-5-99openalex-snapshot
A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases
inferredcites →https://doi.org/10.3233/fi-1991-153-406openalex-snapshot
Quantification in Autoepistemic Logic
inferredcites →https://doi.org/10.48550/arxiv.0811.0359openalex-snapshot
Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination
inferredcites →https://doi.org/10.48550/arxiv.cs/0106031openalex-snapshot
Complexity Results and Practical Algorithms for Logics in Knowledge Representation
inferredcites →https://doi.org/10.5555/1597538.1597583openalex-snapshot
Characterizing data complexity for conjunctive query answering in expressive description logics
inferredcites →https://doi.org/10.5555/1641503.1641520openalex-snapshot
The complexity of circumscription in description logic
inferredcites →https://doi.org/10.7551/mitpress/5040.001.0001openalex-snapshot
Nonmonotonic Reasoning
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/widm.1537openalex-snapshot
A review of reasoning characteristics of RDF ‐based Semantic Web systems
inferred← citeshttps://doi.org/10.1007/978-3-030-06164-7_15openalex-snapshot
Reasoning About Action and Change
inferred← citeshttps://doi.org/10.1007/978-3-030-20528-7_2openalex-snapshot
Telco Network Inventory Validation with NoHR
inferred← citeshttps://doi.org/10.1007/978-3-030-29765-7_18openalex-snapshot
Reasoning About Exceptions in Ontologies: An Approximation of the Multipreference Semantics
inferred← citeshttps://doi.org/10.1007/978-3-030-31095-0_8openalex-snapshot
Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT
inferred← citeshttps://doi.org/10.1007/978-3-030-75775-5_22openalex-snapshot
Tractable Reasoning Using Logic Programs with Intensional Concepts
inferred← citeshttps://doi.org/10.1007/978-3-030-95481-9_2openalex-snapshot
On Combining Ontologies and Rules
inferred← citeshttps://doi.org/10.1007/978-3-031-15707-3_22openalex-snapshot
Towards Provenance in Heterogeneous Knowledge Bases
inferred← citeshttps://doi.org/10.1007/978-3-031-24841-2_14openalex-snapshot
Using Hybrid Knowledge Bases for Meta-reasoning over OWL 2 QL
inferred← citeshttps://doi.org/10.1007/978-3-031-78955-7_14openalex-snapshot
Hybridization of Description Logics and Logic Programming
inferred← citeshttps://doi.org/10.1007/978-3-319-09764-0_4openalex-snapshot
Evolving Bridge Rules in Evolving Multi-Context Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-11113-1_4openalex-snapshot
A Generalization of Approximation Fixpoint Theory and Application
inferred← citeshttps://doi.org/10.1007/978-3-319-11558-0_30openalex-snapshot
Computing Repairs for Inconsistent DL-programs over $\mathcal{EL}$ Ontologies
inferred← citeshttps://doi.org/10.1007/978-3-319-13560-1_23openalex-snapshot
On Efficient Evolving Multi-Context Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-13704-9_8openalex-snapshot
Information Flow within Relational Multi-context Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-14726-0_8openalex-snapshot
Decidability of Circumscribed Description Logics Revisited
inferred← citeshttps://doi.org/10.1007/978-3-319-23264-5_25openalex-snapshot
Linking Open-World Knowledge Bases Using Nonmonotonic Rules
inferred← citeshttps://doi.org/10.1007/978-3-319-23264-5_29openalex-snapshot
Reasoning with Forest Logic Programs Using Fully Enriched Automata
inferred← citeshttps://doi.org/10.1007/978-3-319-23264-5_43openalex-snapshot
Logic Programming with Graded Modality
inferred← citeshttps://doi.org/10.1007/978-3-319-23485-4_39openalex-snapshot
Reasoning over Ontologies and Non-monotonic Rules
inferred← citeshttps://doi.org/10.1007/978-3-319-24309-2_13openalex-snapshot
A Multi-engine Theorem Prover for a Description Logic of Typicality
inferred← citeshttps://doi.org/10.1007/978-3-319-25007-6_33openalex-snapshot
Next Step for NoHR: OWL 2 QL
inferred← citeshttps://doi.org/10.1007/978-3-319-25252-0_27openalex-snapshot
Encoding a Preferential Extension of the Description Logic $$\mathcal {SROIQ}$$ into $$\mathcal {SROIQ}$$
inferred← citeshttps://doi.org/10.1007/978-3-319-27060-9_12openalex-snapshot
Description Logic Programs: A Paraconsistent Relational Model Approach
inferred← citeshttps://doi.org/10.1007/978-3-319-34111-8_28openalex-snapshot
Flexible Approximators for Approximating Fixpoint Theory
inferred← citeshttps://doi.org/10.1007/978-3-319-49004-5_7openalex-snapshot
Active Integrity Constraints for Multi-context Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-49130-1_27openalex-snapshot
Probabilistic Hybrid Knowledge Bases Under the Distribution Semantics
inferred← citeshttps://doi.org/10.1007/978-3-319-49130-1_29openalex-snapshot
Reasoning about Multiple Aspects in Rational Closure for DLs
inferred← citeshttps://doi.org/10.1007/978-3-319-61033-7_7openalex-snapshot
Answer Set Programming with External Source Access
inferred← citeshttps://doi.org/10.1007/978-3-319-61660-5_22openalex-snapshot
NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond
inferred← citeshttps://doi.org/10.1007/978-3-319-72905-3_49openalex-snapshot
A Methodological Framework for Ontology-Driven Instantiation of Petri Net Manufacturing Process Models
inferred← citeshttps://doi.org/10.1007/978-3-642-02121-3_30openalex-snapshot
FO(ID) as an Extension of DL with Rules
inferred← citeshttps://doi.org/10.1007/978-3-642-15543-7_2openalex-snapshot
Hybrid Reasoning with Non-monotonic Rules
inferred← citeshttps://doi.org/10.1007/978-3-642-17746-0_50openalex-snapshot
Declarative Semantics for the Rule Interchange Format Production Rule Dialect
inferred← citeshttps://doi.org/10.1007/978-3-642-20895-9_27openalex-snapshot
Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report)
inferred← citeshttps://doi.org/10.1007/978-3-642-21034-1_27openalex-snapshot
Epistemic Querying of OWL Knowledge Bases
inferred← citeshttps://doi.org/10.1007/978-3-642-22359-4_23openalex-snapshot
Normative Systems Represented as Hybrid Knowledge Bases
inferred← citeshttps://doi.org/10.1007/978-3-642-23208-4_15openalex-snapshot
A Approach to Clinical Proteomics Data Quality Control and Import
inferred← citeshttps://doi.org/10.1007/978-3-642-23580-1_28openalex-snapshot
Inline Evaluation of Hybrid Knowledge Bases
inferred← citeshttps://doi.org/10.1007/978-3-642-23580-1_8openalex-snapshot
Paraconsistent Semantics for Hybrid MKNF Knowledge Bases
inferred← citeshttps://doi.org/10.1007/978-3-642-23935-9_25openalex-snapshot
On the Web Ontology Rule Language OWL 2 RL
inferred← citeshttps://doi.org/10.1007/978-3-642-24809-2_2openalex-snapshot
On Designing the SONCA System
inferred← citeshttps://doi.org/10.1007/978-3-642-25073-6_22openalex-snapshot
Querying OWL 2 QL and Non-monotonic Rules
inferred← citeshttps://doi.org/10.1007/978-3-642-25073-6_39openalex-snapshot
Local Closed World Semantics: Grounded Circumscription for OWL
inferred← citeshttps://doi.org/10.1007/978-3-642-25073-6_40openalex-snapshot
Extending Logic Programs with Description Logic Expressions for the Semantic Web
inferred← citeshttps://doi.org/10.1007/978-3-642-28472-4_1openalex-snapshot
Uniform Evaluation of Nonmonotonic DL-Programs
inferred← citeshttps://doi.org/10.1007/978-3-642-30743-0_15openalex-snapshot
Simulating Production Rules Using ACTHEX
inferred← citeshttps://doi.org/10.1007/978-3-642-31570-1_5openalex-snapshot
An Embedding of Input-Output Logic in Deontic Logic Programs
inferred← citeshttps://doi.org/10.1007/978-3-642-32897-8_11openalex-snapshot
MKNF Knowledge Bases in Multi-Context Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-33158-9_10openalex-snapshot
Reasoning on the Web with Assumption-Based Argumentation
inferred← citeshttps://doi.org/10.1007/978-3-642-33203-6_20openalex-snapshot
Recent Advances in Integrating OWL and Rules (Technical Communication)
inferred← citeshttps://doi.org/10.1007/978-3-642-33203-6_24openalex-snapshot
On Integrating Description Logics and Rules under Minimal Hypotheses
inferred← citeshttps://doi.org/10.1007/978-3-642-33203-6_6openalex-snapshot
Semantic Independence in DL-Programs
inferred← citeshttps://doi.org/10.1007/978-3-642-33353-8_29openalex-snapshot
A Unifying Perspective on Knowledge Updates
inferred← citeshttps://doi.org/10.1007/978-3-642-35101-3_48openalex-snapshot
RDL: Enhancing Description Logic with Rules
inferred← citeshttps://doi.org/10.1007/978-3-642-35176-1_28openalex-snapshot
Ontology Constraints in Incomplete and Complete Data
inferred← citeshttps://doi.org/10.1007/978-3-642-39666-3_1openalex-snapshot
Inconsistency Management for Description Logic Programs and Beyond
inferred← citeshttps://doi.org/10.1007/978-3-642-39666-3_13openalex-snapshot
Eliminating Nonmonotonic DL-Atoms in Description Logic Programs
inferred← citeshttps://doi.org/10.1007/978-3-642-40564-8_36openalex-snapshot
Decidability and Implementation of Parametrized Logic Programs
inferred← citeshttps://doi.org/10.1007/978-3-642-41335-3_14openalex-snapshot
A Query Tool for $\mathcal{EL}$ with Non-monotonic Rules
inferred← citeshttps://doi.org/10.1007/978-3-642-45221-5_18openalex-snapshot
Description Logics, Rules and Multi-context Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-45263-5_7openalex-snapshot
Towards an Efficient Datalog Based Evaluation of the FSAQL Query Language
inferred← citeshttps://doi.org/10.1007/978-3-642-54455-2_7openalex-snapshot
The Web Ontology Rule Language OWL 2 RL + and Its Extensions
inferred← citeshttps://doi.org/10.1007/978-981-10-2098-8_18openalex-snapshot
Integrity Constraint Validation in DL-Lite $$_R$$ Based Ontology Using Rewriting
inferred← citeshttps://doi.org/10.1007/s10209-016-0465-0openalex-snapshot
Ontology-based end-user visual query formulation: Why, what, who, how, and which?
inferred← citeshttps://doi.org/10.1007/s10472-010-9207-9openalex-snapshot
FO(ID) as an extension of DL with rules
inferred← citeshttps://doi.org/10.1007/s10472-015-9451-0openalex-snapshot
Extended RDF: Computability and complexity issues
inferred← citeshttps://doi.org/10.1007/s10472-017-9563-9openalex-snapshot
Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin
inferred← citeshttps://doi.org/10.1007/s10472-018-9577-yopenalex-snapshot
Active integrity constraints for general-purpose knowledge bases
inferred← citeshttps://doi.org/10.1007/s11704-013-2284-2openalex-snapshot
Integrity constraints in OWL ontologies based on grounded circumscription
inferred← citeshttps://doi.org/10.1007/s13218-011-0134-7openalex-snapshot
Zur Rolle der Logik bei der Entwicklung Intelligenter Systeme
inferred← citeshttps://doi.org/10.1007/s13218-020-00686-3openalex-snapshot
Ontologies and Data Management: A Brief Survey
inferred← citeshttps://doi.org/10.1007/s40595-013-0009-yopenalex-snapshot
WORL: a nonmonotonic rule language for the semantic web
inferred← citeshttps://doi.org/10.1016/b978-0-444-51624-4.50015-0openalex-snapshot
Description Logics
inferred← citeshttps://doi.org/10.1016/b978-0-444-51624-4.50016-2openalex-snapshot
Logics for the Semantic Web
inferred← citeshttps://doi.org/10.1016/j.aei.2025.103650openalex-snapshot
Reducing construction quality costs through ontology-based inspection planning
inferred← citeshttps://doi.org/10.1016/j.artint.2011.01.007openalex-snapshot
Local closed world reasoning with description logics under the well-founded semantics
inferred← citeshttps://doi.org/10.1016/j.artint.2012.10.004openalex-snapshot
A non-monotonic Description Logic for reasoning about typicality
inferred← citeshttps://doi.org/10.1016/j.artint.2014.05.001openalex-snapshot
FLP answer set semantics without circular justifications for general logic programs
inferred← citeshttps://doi.org/10.1016/j.artint.2014.12.010openalex-snapshot
A new semantics for overriding in description logics
inferred← citeshttps://doi.org/10.1016/j.artint.2015.05.001openalex-snapshot
Semantic characterization of rational closure: From propositional logic to description logics
inferred← citeshttps://doi.org/10.1016/j.artint.2015.07.008openalex-snapshot
On updates of hybrid knowledge bases composed of ontologies and rules
inferred← citeshttps://doi.org/10.1016/j.artint.2016.04.004openalex-snapshot
Evaluating epistemic negation in answer set programming
inferred← citeshttps://doi.org/10.1016/j.artint.2016.06.003openalex-snapshot
Data repair of inconsistent nonmonotonic description logic programs
inferred← citeshttps://doi.org/10.1016/j.artint.2017.08.003openalex-snapshot
Three-valued semantics for hybrid MKNF knowledge bases revisited
inferred← citeshttps://doi.org/10.1016/j.artint.2017.11.007openalex-snapshot
Reactive multi-context systems: Heterogeneous reasoning in dynamic environments
inferred← citeshttps://doi.org/10.1016/j.artint.2017.12.005openalex-snapshot
Enhancing context knowledge repositories with justifiable exceptions
inferred← citeshttps://doi.org/10.1016/j.artint.2019.103165openalex-snapshot
Determining inference semantics for disjunctive logic programs
inferred← citeshttps://doi.org/10.1016/j.artint.2019.103220openalex-snapshot
Polynomial rewritings from expressive Description Logics with closed predicates to variants of Datalog
inferred← citeshttps://doi.org/10.1016/j.artint.2025.104361openalex-snapshot
A semantics for probabilistic hybrid knowledge bases with function symbols
inferred← citeshttps://doi.org/10.1016/j.artmed.2017.07.002openalex-snapshot
Owlready: Ontology-oriented programming in Python with automatic classification and high level constructs for biomedical ontologies
inferred← citeshttps://doi.org/10.1016/j.bdr.2020.100177openalex-snapshot
Ontology-Mediated SPARQL Query Answering over Knowledge Graphs
inferred← citeshttps://doi.org/10.1016/j.datak.2011.04.001openalex-snapshot
CLIPS–OWL: A framework for providing object-oriented extensional ontology queries in a production rule engine
inferred← citeshttps://doi.org/10.1016/j.datak.2015.04.005openalex-snapshot
Towards richer rule languages with polynomial data complexity for the Semantic Web
inferred← citeshttps://doi.org/10.1016/j.eswa.2012.12.005openalex-snapshot
Advanced computational reasoning based on the NKRL conceptual model
inferred← citeshttps://doi.org/10.1016/j.ijar.2019.02.003openalex-snapshot
Typicalities and probabilities of exceptions in nonmotonic Description Logics
inferred← citeshttps://doi.org/10.1016/j.inffus.2014.01.008openalex-snapshot
A tour of BeAware – A situation awareness framework for control centers
inferred← citeshttps://doi.org/10.1016/j.ins.2018.09.037openalex-snapshot
A polynomial Time Subsumption Algorithm for Nominal Safe ELO⊥ under Rational Closure
inferred← citeshttps://doi.org/10.1016/j.ins.2022.11.165openalex-snapshot
Defeasible RDFS via rational closure
inferred← citeshttps://doi.org/10.1016/j.is.2015.03.002openalex-snapshot
Specification and automated design-time analysis of the business process human resource perspective
inferred← citeshttps://doi.org/10.1016/j.jlamp.2017.01.005openalex-snapshot
From description-logic programs to multi-context systems
inferred← citeshttps://doi.org/10.1016/j.pmcj.2014.12.009openalex-snapshot
Semantic web technologies in pervasive computing: A survey and research roadmap
inferred← citeshttps://doi.org/10.1016/j.tcs.2011.10.026openalex-snapshot
The loop formula based semantics of description logic programs
inferred← citeshttps://doi.org/10.1016/j.techfore.2021.121277openalex-snapshot
Unveiling the knowledge structure of technological forecasting and social change (1969–2020) through an NMF-based hierarchical topic model
inferred← citeshttps://doi.org/10.1017/s1471068410000086openalex-snapshot
Introduction to the TPLP special issue, logic programming in databases: From Datalog to semantic-web rules
inferred← citeshttps://doi.org/10.1017/s1471068410000268openalex-snapshot
Loop formulas for description logic programs
inferred← citeshttps://doi.org/10.1017/s1471068411000597openalex-snapshot
Reasoning with Forest Logic Programs and f-hybrid knowledge bases
inferred← citeshttps://doi.org/10.1017/s1471068413000355openalex-snapshot
Disjunctive logic programs with existential quantification in rule heads
inferred← citeshttps://doi.org/10.1017/s1471068416000399openalex-snapshot
ASP for minimal entailment in a rational extension of SROEL
inferred← citeshttps://doi.org/10.1017/s1471068417000291openalex-snapshot
Well-founded operators for normal hybrid MKNF knowledge bases
inferred← citeshttps://doi.org/10.1017/s1471068418000479openalex-snapshot
Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge
inferred← citeshttps://doi.org/10.1017/s1471068420000381openalex-snapshot
An ASP approach for reasoning in a concept-aware multipreferential lightweight DL
inferred← citeshttps://doi.org/10.1017/s1471068424000255openalex-snapshot
On the Foundations of Conflict-Driven Solving for Hybrid MKNF Knowledge Bases
inferred← citeshttps://doi.org/10.1080/00207543.2017.1415468openalex-snapshot
Human resource optimisation through semantically enriched data
inferred← citeshttps://doi.org/10.1080/0951192x.2017.1407874openalex-snapshot
Generic platform for manufacturing execution system functions in knowledge-driven manufacturing systems
inferred← citeshttps://doi.org/10.1093/jigpal/jzs043openalex-snapshot
Reasoning with inconsistencies in hybrid MKNF knowledge bases
inferred← citeshttps://doi.org/10.1093/logcom/exae038openalex-snapshot
Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality
inferred← citeshttps://doi.org/10.1093/logcom/ext062openalex-snapshot
What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems
inferred← citeshttps://doi.org/10.1109/ictaacs60400.2023.10449519openalex-snapshot
HazOp Scenarios Modelling for Digital Factories
inferred← citeshttps://doi.org/10.1109/iscisc.2012.6408190openalex-snapshot
Notice of Removal: Policy specification and enforcement in online social networks using MKNF +
inferred← citeshttps://doi.org/10.1109/iscisc.2012.6408196openalex-snapshot
Notice of Removal: Non-monotonocity in OrBAC through default and exception policy rules
inferred← citeshttps://doi.org/10.1109/kse.2011.14openalex-snapshot
WORL: A Web Ontology Rule Language
inferred← citeshttps://doi.org/10.1109/snpd.2016.7515936openalex-snapshot
Service matchmaking with closed world reasoning
inferred← citeshttps://doi.org/10.1109/tpwrs.2012.2190626openalex-snapshot
Using Semantic Web Resources to Translate Existing Files Between CIM and IEC 61850
inferred← citeshttps://doi.org/10.1109/tpwrs.2013.2267657openalex-snapshot
Facilitating the Automatic Mapping of IEC 61850 Signals and CIM Measurements
inferred← citeshttps://doi.org/10.1109/wi-iat.2015.109openalex-snapshot
Handling Inconsistent Closed Predicates: A Paraconsistent Approach
inferred← citeshttps://doi.org/10.1145/2254129.2254134openalex-snapshot
"Closing" some doors for the open semantic web
inferred← citeshttps://doi.org/10.1145/2480759.2480768openalex-snapshot
Query-Driven Procedures for Hybrid MKNF Knowledge Bases
inferred← citeshttps://doi.org/10.1145/3151759.3151837openalex-snapshot
A rule-based DSS for transforming automatically-generated alignments into information integration alignments
inferred← citeshttps://doi.org/10.1145/3447508openalex-snapshot
Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity
inferred← citeshttps://doi.org/10.11606/t.45.2023.tde-18092023-181200openalex-snapshot
Quantification in description logics of typicality
inferred← citeshttps://doi.org/10.12720/jiii.3.3.238-245openalex-snapshot
Constructing Knowledge Representation Systems with First-Order Formulas as Atoms
inferred← citeshttps://doi.org/10.12733/jics20103476openalex-snapshot
Integrity Constraint Validation for Ontology Using Modularization
inferred← citeshttps://doi.org/10.1504/ijmso.2011.046595openalex-snapshot
Formal modelling, knowledge representation and reasoning for design and development of user-centric pervasive software: a meta-review
inferred← citeshttps://doi.org/10.1504/ijmso.2013.057763openalex-snapshot
Datalog-based framework for efficient query answering over fuzzy ontologies
inferred← citeshttps://doi.org/10.15587/1729-4061.2014.21830openalex-snapshot
An introduction to knowledge computing
inferred← citeshttps://doi.org/10.1609/aaai.v25i1.7848openalex-snapshot
Revisiting Semantics for Epistemic Extensions of Description Logics
inferred← citeshttps://doi.org/10.1609/aaai.v25i1.7850openalex-snapshot
Integrating Rules and Description Logics by Circumscription
inferred← citeshttps://doi.org/10.1609/aaai.v26i1.8211openalex-snapshot
FLP Semantics Without Circular Justifications for General Logic Programs
inferred← citeshttps://doi.org/10.1609/aaai.v32i1.11565openalex-snapshot
Combining Rules and Ontologies into Clopen Knowledge Bases
inferred← citeshttps://doi.org/10.1609/aaai.v34i03.5683openalex-snapshot
Resilient Logic Programs: Answer Set Programs Challenged by Ontologies
inferred← citeshttps://doi.org/10.1609/aaai.v37i5.25773openalex-snapshot
Epistemic Disjunctive Datalog for Querying Knowledge Bases
inferred← citeshttps://doi.org/10.1609/aaai.v38i9.28917openalex-snapshot
Stable Model Semantics for Description Logic Terminologies
inferred← citeshttps://doi.org/10.1609/aaaiss.v3i1.31200openalex-snapshot
Rule-Based Explanations of Machine Learning Classifiers Using Knowledge Graphs
inferred← citeshttps://doi.org/10.1613/jair.5047openalex-snapshot
Computing Repairs of Inconsistent DL-Programs over EL Ontologies
inferred← citeshttps://doi.org/10.1631/jzus.c1101004openalex-snapshot
Local closed world reasoning: a personal view on current status and trends
inferred← citeshttps://doi.org/10.23638/lmcs-15(3:23)2019openalex-snapshot
The Data Complexity of Ontology-Mediated Queries with Closed Predicates
inferred← citeshttps://doi.org/10.24200/sci.2017.4576openalex-snapshot
A SEMANTIC ACCESS CONTROL MODEL FOR ONLINE SOCIAL NETWORKS
inferred← citeshttps://doi.org/10.2478/amns.2022.2.00201openalex-snapshot
Calculation and evaluation of similarity in sports information resources based on combined algorithm
inferred← citeshttps://doi.org/10.24963/ijcai.2018/232openalex-snapshot
Enhancing Existential Rules by Closed-World Variables
inferred← citeshttps://doi.org/10.24963/ijcai.2018/252openalex-snapshot
Possibilistic ASP Base Revision by Certain Input
inferred← citeshttps://doi.org/10.24963/ijcai.2018/798openalex-snapshot
Three-Valued Semantics for Hybrid MKNF Knowledge Bases Revisited (Extended Abstract)
inferred← citeshttps://doi.org/10.24963/ijcai.2019/253openalex-snapshot
Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access
inferred← citeshttps://doi.org/10.24963/kr.2021/41openalex-snapshot
Unfounded Sets for Disjunctive Hybrid MKNF Knowledge Bases
inferred← citeshttps://doi.org/10.29007/6ph5openalex-snapshot
Query Answering With Non-Monotonic Rules: A Case Study of Archaeology Qualitative Spatial Reasoning
inferred← citeshttps://doi.org/10.3233/978-1-61499-098-7-474openalex-snapshot
Reconciling OWL and Non-monotonic Rules for the Semantic Web
inferred← citeshttps://doi.org/10.3233/978-1-61499-419-0-285openalex-snapshot
Towards Practical Deletion Repair of Inconsistent DL-programs
inferred← citeshttps://doi.org/10.3233/978-1-61499-672-9-819openalex-snapshot
Fixed-Domain Reasoning for Description Logics
inferred← citeshttps://doi.org/10.3233/faia200142openalex-snapshot
Applying the Closed World Assumption to SUMO-Based FOL Ontologies for Effective Commonsense Reasoning
inferred← citeshttps://doi.org/10.3233/fi-2016-1400openalex-snapshot
Logic Programming with Graded Introspection
inferred← citeshttps://doi.org/10.3233/fi-2018-1658openalex-snapshot
Reasoning on Datalog± Ontologies with Abductive Logic Programming
inferred← citeshttps://doi.org/10.3233/fi-2018-1659openalex-snapshot
Towards a Rational Closure for Expressive Description Logics: the Case of 𝒮𝒽𝒾𝓆
inferred← citeshttps://doi.org/10.3233/fi-2018-1699openalex-snapshot
Revision of Ontologies to Accommodate Exceptions: a Typicality-based Approach*
inferred← citeshttps://doi.org/10.3233/fi-2020-1973openalex-snapshot
Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure
inferred← citeshttps://doi.org/10.3233/ia-170106openalex-snapshot
cplint on SWISH: Probabilistic Logical Inference with a Web Browser
inferred← citeshttps://doi.org/10.3233/ifs-130854openalex-snapshot
Reasoning with vagueness in hybrid MKNF knowledge bases
inferred← citeshttps://doi.org/10.4018/978-1-4666-2455-9.ch031openalex-snapshot
XML Mining for Semantic Web
inferred← citeshttps://doi.org/10.4018/978-1-61350-038-5.ch014openalex-snapshot
Semantic Web Technologies for Business Intelligence
inferred← citeshttps://doi.org/10.4018/978-1-61350-356-0.ch014openalex-snapshot
XML Mining for Semantic Web
inferred← citeshttps://doi.org/10.4204/eptcs.364.6openalex-snapshot
A Fixpoint Characterization of Three-Valued Disjunctive Hybrid MKNF Knowledge Bases
inferred← citeshttps://doi.org/10.4204/eptcs.364.7openalex-snapshot
An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols
inferred← citeshttps://doi.org/10.4204/eptcs.385.40openalex-snapshot
Proceedings 39th International Conference on Logic Programming
inferred← citeshttps://doi.org/10.48550/arxiv.1007.3515openalex-snapshot
Query-driven Procedures for Hybrid MKNF Knowledge Bases
inferred← citeshttps://doi.org/10.48550/arxiv.1111.1486openalex-snapshot
Embedding Description Logic Programs into Default Logic
inferred← citeshttps://doi.org/10.48550/arxiv.1210.2984openalex-snapshot
Learning Onto-Relational Rules with Inductive Logic Programming
inferred← citeshttps://doi.org/10.48550/arxiv.1305.1060openalex-snapshot
On Rational Closure in Description Logics of Typicality
inferred← citeshttps://doi.org/10.48550/arxiv.1405.3365openalex-snapshot
A Well-Founded Semantics for FOL-Programs
inferred← citeshttps://doi.org/10.48550/arxiv.1505.05368openalex-snapshot
On Minimal Change in Evolving Multi-Context Systems (Preliminary Report)
inferred← citeshttps://doi.org/10.48550/arxiv.1505.05502openalex-snapshot
Towards Efficient Evolving Multi-Context Systems (Preliminary Report)
inferred← citeshttps://doi.org/10.48550/arxiv.1604.00301openalex-snapshot
A strengthening of rational closure in DLs: reasoning about multiple aspects
inferred← citeshttps://doi.org/10.48550/arxiv.1607.02018openalex-snapshot
Mapping Data to Ontologies with Exceptions Using Answer Set Programming
inferred← citeshttps://doi.org/10.48550/arxiv.1801.07161openalex-snapshot
Reasoning about multiple aspects in DLs: Semantics and Closure Construction
inferred← citeshttps://doi.org/10.48550/arxiv.1905.09221openalex-snapshot
A Note on Reasoning on $\textit{DL-Lite}_{\cal R}$ with Defeasibility
inferred← citeshttps://doi.org/10.48550/arxiv.2009.00964openalex-snapshot
A framework for a modular multi-concept lexicographic closure semantics
inferred← citeshttps://doi.org/10.5220/0003668300990109openalex-snapshot
PRACTICAL GOAL-BASED REASONING IN ONTOLOGY-DRIVEN APPLICATIONS
inferred← citeshttps://doi.org/10.5591/978-1-57735-516-8/ijcai11-185openalex-snapshot
Well-supported semantics for description logic programs
inferred← citeshttps://doi.org/10.5860/choice.48-0914openalex-snapshot
Foundations of Semantic Web technologies
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.