Inference rules for RDF(S) and OWL in N3Logic
This paper presents inference rules for Resource Description Framework (RDF), RDF Schema (RDFS) and Web Ontology Language (OWL). Our formalization is based on Notation 3 Logic, which extended RDF by logical symbols and created Semantic Web logic for deductive RDF graph stores. We also propose OWL-P that is a lightweight formalism of OWL and supports soft inferences by omitting complex language constructs.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
UniKER: A Unified Framework for Combining Embedding and Definite Horn Rule Reasoning for Knowledge Graph Inference
Knowledge graph inference has been studied extensively due to its wide applications. It has been addressed by two lines of research, i.e., the more traditional logical rule reasoning and the more recent knowledge graph e…
Graph EmbeddingKnowledge Graph EmbeddingRNNLogic: Learning Logic Rules for Reasoning on Knowledge Graphs
This paper studies learning logic rules for reasoning on knowledge graphs. Logic rules provide interpretable explanations when used for prediction as well as being able to generalize to other tasks, and hence are critica…
Knowledge GraphsMonotonic Inference for Underspecified Episodic Logic
We present a method of making natural logic inferences from Unscoped Logical Form of Episodic Logic. We establish a correspondence between inference rules of scope resolved Episodic Logic and the natural logic treatment …
SLogic: Subgraph-Informed Logical Rule Learning for Knowledge Graph Completion
Logical rule-based methods offer an interpretable approach to knowledge graph completion (KGC) by capturing compositional relationships in the form of human-readable inference rules. While existing logical rule-based met…
Knowledge Graph CompletionCan LLMs Reason with Rules? Logic Scaffolding for Stress-Testing and Improving LLMs
Large language models (LLMs) have achieved impressive human-like performance across various reasoning tasks. However, their mastery of underlying inferential rules still falls short of human capabilities. To investigate …
Logical Reasoning