VP(WP)

@vpavlyshyn.bsky.social

3 months ago

xioms aren't just data structure definitions—they're LOGICAL STATEMENTS about what must be true in your domain.
Example:
:Parent ≡ :Person ⊓ ∃hasChild.:Person
This doesn't just say Parents exist. It DEFINES what Parent means: a Person who has at least one child.
#DescriptionLogic #OWL

@arxivlens.bsky.social

7 months ago

Fitting Description Logic Ontologies to ABox and Query Examples
Carsten Lutz, Marvin Grosser et al.
Paper
Details
#DescriptionLogic #OntologyEngineering #QueryExamples