activity
19942025
most citedA New General Method to Generate Random Modal Formulae for Testing Decision Procedures

18 citations · 19 across the 8 of their papers we have counts for

collaborators

8 papers

cs.AI2025

A Multi-Axial Mindset for Ontology Design Lessons from Wikidata's Polyhierarchical Structure

Ege Atacan Doğan, Peter F. Patel-Schneider

Traditional ontology design emphasizes disjoint and exhaustive top-level distinctions such as continuant vs. occurrent, abstract vs. concrete, or type vs. instance. These distincti…

cs.IR2024

Class Order Disorder in Wikidata and First Fixes

Peter F. Patel-Schneider, Ege Atacan Doğan

Wikidata has a large ontology with classes at several orders. The Wikidata ontology has long been known to have violations of class order and information related to class order tha…

cs.AI2024

Disjointness Violations in Wikidata

Ege Atacan Doğan, Peter F. Patel-Schneider

Disjointness checks are among the most important constraint checks in a knowledge base and can be used to help detect and correct incorrect statements and internal contradictions.…

cs.AI2020★ 1 cited

Wikidata Constraints on MARS (Extended Technical Report)

David L. Martin, Peter F. Patel-Schneider

Wikidata constraints, albeit useful, are represented and processed in an incomplete, ad hoc fashion. Constraint declarations do not fully express their meaning, and thus do not pro…

cs.AI2017

ASHACL: Alternative Shapes Constraint Language

Peter F. Patel-Schneider

ASHACL, a variant of the W3C Shapes Constraint Language, is designed to determine whether an RDF graph meets some conditions. These conditions are grouped into shapes, which valida…

cs.AI2014

Using Description Logics for RDF Constraint Checking and Closed-World Recognition

Peter F. Patel-Schneider

RDF and Description Logics work in an open-world setting where absence of information is not information about absence. Nevertheless, Description Logic axioms can be interpreted in…