On the relative expressiveness of description logics and predicate logics
From MaRDI portal
Publication:2674209
DOI10.1016/0004-3702(96)00004-5zbMath1506.68132MaRDI QIDQ2674209
Publication date: 22 September 2022
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(96)00004-5
68T27: Logic in artificial intelligence
Related Items
Goals and benchmarks for automated map reasoning, Foundations of instance level updates in expressive description logics, Representing ontologies using description logics, description graphs, and rules, Open answer set programming for the semantic web, An epistemic operator for description logics, Integrity constraints for XML, Information integration using logical views, Expressiveness of concept expressions in first-order description logics, The guarded fragment with transitive guards, Making fuzzy description logic more general, Cheap Boolean Role Constructors for Description Logics, DL-FOIL Concept Learning in Description Logics, Foundations of Onto-Relational Learning