HighlightCurated by Aramai EditorialJournal of Automated Reasoning

HermiT: An OWL 2 Reasoner

A reasoner for the OWL 2 ontology language.

HermiT is a reasoner designed to support the OWL 2 ontology language, which is used for representing knowledge on the web.,The paper presents HermiT's architecture and its ability to perform reasoning tasks such as subsumption and satisfiability checking.,It also discusses the system's performance and scalability.

Based on: HermiT: An OWL 2 Reasoner · Journal of Automated Reasoning

HighlightCurated by Aramai EditorialarXiv (Cornell University)

Embedding Entities and Relations for Learning and Inference in Knowledge Bases

A survey on approaches to learning first-order logic rules over knowledge graphs.

This paper reviews state-of-the-art systems for learning first-order logic rules over knowledge graphs. It conducts a comparative analysis of various approaches, including ILP-based, statistical path generalisation, and neuro-symbolic methods. The authors highlight important application scenarios of rule learning in knowledge graph completion, fact checking, and other research areas.

Based on: Embedding Entities and Relations for Learning and Inference in Knowledge Bases · arXiv (Cornell University)

HighlightCurated by Aramai EditorialJournal of Web Semantics

OWL 2: The next step for OWL

A paper discussing the development and features of OWL 2.

The authors present an overview of OWL 2, a new version of the Web Ontology Language. They discuss its key features, including improved expressiveness and better support for reasoning. The paper also highlights the benefits of using OWL 2 in various applications.

Based on: OWL 2: The next step for OWL · Journal of Web Semantics

HighlightCurated by Aramai EditorialJournal of Web Semantics

YAGO: A Large Ontology from Wikipedia and WordNet

A large ontology constructed from Wikipedia and WordNet.

YAGO is a large-scale ontology that integrates information from Wikipedia and WordNet.,It was developed by Fabian M. Suchanek, Gjergji Kasneci, and Gerhard Weikum in 2008.,The ontology covers a wide range of entities and relationships, making it a valuable resource for knowledge graph applications.

Based on: YAGO: A Large Ontology from Wikipedia and WordNet · Journal of Web Semantics

HighlightCurated by Aramai EditorialFoundations of artificial intelligence

Handbook of Knowledge Representation

A handbook on knowledge representation, published in the Foundations of artificial intelligence series.

The Handbook of Knowledge Representation is a comprehensive resource covering various aspects of knowledge representation.,It provides an overview of the field, discussing topics such as formalisms and their applications.,The book is part of the Foundations of Artificial Intelligence series.

Based on: Handbook of Knowledge Representation · Foundations of artificial intelligence

HighlightCurated by Aramai EditorialLecture notes in computer science

Applying KAoS Services to Ensure Policy Compliance for Semantic Web Services Workflow Composition and Enactment

Paper on applying KAoS services to ensure policy compliance in semantic web services workflow composition and enactment.

This paper explores the application of KAoS services to ensure policy compliance in semantic web services. The authors investigate how KAoS can be used to manage policies and ensure that they are enforced during the composition and enactment of workflows. The paper discusses the benefits and challenges of using KAoS for this purpose, including its ability to provide a flexible and scalable approach to policy management.

Based on: Applying KAoS Services to Ensure Policy Compliance for Semantic Web Services Workflow Composition and Enactment · Lecture notes in computer science

HighlightCurated by Aramai EditorialLecture notes in computer science

DAML-S: Web Service Description for the Semantic Web

A framework for describing web services on the semantic web.

The paper introduces DAML-S, a markup language for describing web services. It provides a framework for describing the capabilities, functionality, and properties of web services. The authors propose using DAML-S to enable semantic interoperability between web services.

Based on: DAML-S: Web Service Description for the Semantic Web · Lecture notes in computer science