BOOK-CHAPTER
Consequence-Based Axiom Pinpointing
Year: 2018 Lecture notes in computer science Pages: 181-195 Publisher: Springer Science+Business Media
Keywords:
Axiom Logical consequence Ontology Computer science Zermelo–Fraenkel set theory Theoretical computer science Algorithm Artificial intelligence Mathematics Axiom of choice Programming language Epistemology Set theory Set (abstract data type) Philosophy
Metrics
6
Cited By
1.16
FWCI (Field Weighted Citation Impact)
29
Refs
0.79
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Semantic Web and Ontologies
Physical Sciences → Computer Science → Artificial Intelligence
Biomedical Text Mining and Ontologies
Life Sciences → Biochemistry, Genetics and Molecular Biology → Molecular Biology
Advanced Database Systems and Queries
Physical Sciences → Computer Science → Computer Networks and Communications
Related Documents
JOURNAL ARTICLE
Consequence-based Axiom Pinpointing for Expressive Description Logic Ontologies
Jing LiDantong OuyangYu‐Xin Ye
Journal: International Journal of Software and Informatics Year: 2023 Vol: 13 (3)Pages: 359-374
BOOK-CHAPTER
Automata-Based Axiom Pinpointing
Lecture notes in computer science Year: 2008 Pages: 226-241
JOURNAL ARTICLE
Automata-Based Axiom Pinpointing
Journal: Journal of Automated Reasoning Year: 2010 Vol: 45 (2)Pages: 91-129
BOOK-CHAPTER
Explaining Axiom Pinpointing
Lecture notes in computer science Year: 2019 Pages: 475-496