On the public citation graph

Extended RDF as a Semantic Foundation of Rule Markup Languages

https://doi.org/10.1613/jair.2425
0 signed · 39 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.
Claim with ORCID
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.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/11574620_48openalex-snapshot
Combining RDF and Part of OWL with Rules: Semantics, Decidability, Complexity
inferredcites →https://doi.org/10.1007/11853107_11openalex-snapshot
Supporting Open and Closed World Reasoning on the Web
inferredcites →https://doi.org/10.1007/3-540-48005-6_28openalex-snapshot
TRIPLE—A Query, Inference, and Transformation Language for the Semantic Web
inferredcites →https://doi.org/10.1007/978-3-540-30122-6_10openalex-snapshot
DR-DEVICE: A Defeasible Logic System for the Semantic Web
inferredcites →https://doi.org/10.1007/978-3-540-30504-0_7openalex-snapshot
Well-Founded Semantics for Description Logic Programs in the Semantic Web
inferredcites →https://doi.org/10.1007/978-3-540-39715-1_7openalex-snapshot
Inheritance and Rules in Object-Oriented Semantic Web Languages
inferredcites →https://doi.org/10.1007/978-3-540-39718-2_2openalex-snapshot
Reducing OWL Entailment to Description Logic Satisfiability
inferredcites →https://doi.org/10.1007/978-3-540-39733-5_4openalex-snapshot
Reasoning about Anonymous Resources and Meta Statements on the Semantic Web
inferredcites →https://doi.org/10.1007/978-94-015-9309-0_7openalex-snapshot
Partial Logics with Two Kinds of Negation as a Foundation for Knowledge-Based Reasoning
inferredcites →https://doi.org/10.1007/bf00883931openalex-snapshot
A logic programming system for nonmonotonic reasoning
inferredcites →https://doi.org/10.1007/bf03037169openalex-snapshot
Classical negation in logic programs and disjunctive databases
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.002openalex-snapshot
On the decidability and complexity of integrating ontologies and rules
inferredcites →https://doi.org/10.1016/j.websem.2005.06.001openalex-snapshot
Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary
inferredcites →https://doi.org/10.1145/116825.116838openalex-snapshot
The well-founded semantics for general logic programs
inferredcites →https://doi.org/10.1145/210332.210335openalex-snapshot
Logical foundations of object-oriented and frame-based languages
inferredcites →https://doi.org/10.1145/505372.505373openalex-snapshot
Description logics of minimal knowledge and negation as failure
inferredcites →https://doi.org/10.4230/dagsemproc.05371.3openalex-snapshot
A General Markup Framework for Integrity and Derivation Rules
inferredcites →https://doi.org/10.5555/885746openalex-snapshot
The Description Logic Handbook: Theory, Implementation, and Applications

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-319-19090-7_2openalex-snapshot
Usefulness of Inconsistency in Collaborative Knowledge Authoring in Semantic Wiki
inferred← citeshttps://doi.org/10.1007/978-3-540-85257-5_26openalex-snapshot
On the Foundations of Web-Based Registries for Business Rules
inferred← citeshttps://doi.org/10.1007/978-3-540-89197-0_5openalex-snapshot
On the Computability and Complexity Issues of Extended RDF
inferred← citeshttps://doi.org/10.1007/978-3-642-05082-4_15openalex-snapshot
A Formal Theory for Modular ERDF Ontologies
inferred← citeshttps://doi.org/10.1007/978-3-642-15918-3_17openalex-snapshot
Embeddings of Simple Modular Extended RDF
inferred← citeshttps://doi.org/10.1007/978-94-007-5583-3_5openalex-snapshot
Logical Formalisms for Agreement Technologies
inferred← citeshttps://doi.org/10.1007/978-981-99-7743-7_3openalex-snapshot
Generalized Properties of Generalized Fuzzy Sets GFScom and Its Application
inferred← citeshttps://doi.org/10.1007/s00500-016-2226-7openalex-snapshot
A novel table look-up scheme based on GFScom and its application
inferred← citeshttps://doi.org/10.1007/s10472-013-9350-1openalex-snapshot
A framework for modular ERDF ontologies
inferred← citeshttps://doi.org/10.1007/s10472-013-9396-0openalex-snapshot
Why-provenance information for RDF, rules, and negation
inferred← citeshttps://doi.org/10.1007/s10472-015-9451-0openalex-snapshot
Extended RDF: Computability and complexity issues
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.ins.2022.11.165openalex-snapshot
Defeasible RDFS via rational closure
inferred← citeshttps://doi.org/10.1016/j.ins.2024.121254openalex-snapshot
Different negations and fuzziness in web resources and resource description and their mathematical foundation
inferred← citeshttps://doi.org/10.1109/synasc.2009.39openalex-snapshot
Beliefs and Communication, The Basis of Collaborative Agents
inferred← citeshttps://doi.org/10.1527/tjsai.29.343openalex-snapshot
Concept Learning in the Description Logic ALCH(D) Based on Minimal Model Reasoning for RDF Data
inferred← citeshttps://doi.org/10.1527/tjsai.b-j62openalex-snapshot
Concept Constructing in the Description Logic SROIQ based on Minimal RDF Reasoning
inferred← citeshttps://doi.org/10.3233/sw-190344openalex-snapshot
Completeness and soundness guarantees for conjunctive SPARQL queries over RDF data sources with completeness statements1
inferred← citeshttps://doi.org/10.4018/978-1-4666-3000-0.ch006openalex-snapshot
A Formal Investigation of Semantic Interoperability of HCLS Systems
inferred← citeshttps://doi.org/10.4018/978-1-4666-6339-8.ch011openalex-snapshot
A Formal Investigation of Semantic Interoperability of HCLS Systems
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.