Extending the Description Logic ALC with More Expressive Cardinality Constraints on Concepts.

Franz Baader Andreas Ecke

Published in: GCAI (2017)

Keyphrases

cardinality constraints
description logic alc
description logics
modal logic
boolean algebra
constraint query languages
artificial intelligence
functional dependencies
conceptual models
entity relationship
knowledge base
semi automatic
domain ontology
deductive databases
integer programming
closed sets