26(top 2%)
papers
151(top 5%)
citations
8(top 5%)
h-index
12(top 5%)
g-index
33
all documents
170
doc citations
49
citing journals

Top Articles

#TitleJournalYearCitations
1Temporalizing rewritable query languages over knowledge basesWeb Semantics201525
2Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automataInternational Journal on Software Tools for Technology Transfer201820
3Fast algorithms for implication bases and attribute exploration using proper premisesAnnals of Mathematics and Artificial Intelligence201419
4Temporal query entailment in the Description Logic  SHQWeb Semantics201516
5Formalizing biomedical concepts from textual definitionsJournal of Biomedical Semantics201513
6On the Decidability Status of Fuzzy A ℒ C $\mathcal {A}\mathcal {L}\mathcal {C}$ with General Concept InclusionsJournal of Philosophical Logic201512
7ALC-LTL revisited">Runtime verification using the temporal description logic ALC-LTL revisitedJournal of Applied Logic20149
8Axiomatisation of general concept inclusions from finite interpretationsJournal of Applied Non-Classical Logics20168
9Learning Deterministically Recognizable Tree Series — Revisited20077
10NextClosures: parallel computation of the canonical base with background knowledgeInternational Journal of General Systems20175
11Ontology-mediated query answering over temporal and inconsistent dataSemantic Web20195
12Evonne: Interactive Proof Visualization for Description Logics (System Description)Lecture Notes in Computer Science20225
13Semantic Technologies for Situation AwarenessKI - Kunstliche Intelligenz20204
14LETHE: Forgetting and Uniform Interpolation for Expressive Description LogicsKI - Kunstliche Intelligenz20204
15Using Ontology-Based Data Access to Enable Context Recognition in the Presence of Incomplete InformationKI - Kunstliche Intelligenz20172
16Metric Temporal Description Logics with Interval-Rigid NamesACM Transactions on Computational Logic20202
17Explaining Ontology-Mediated Query Answers Using Proofs over Universal ModelsLecture Notes in Computer Science20222
18Minimizing the average cost of paging on the air interface-an approach considering privacy01
19Spigot Algorithm and Root ComputingReliable Computing20011
20Solving a PSPACE-complete problem by gene assemblyJournal of Logic and Computation20131
21Topological entropy of formal languagesSemigroup Forum20171
22Probabilistic implication bases in FCA and probabilistic bases of GCIs inInternational Journal of General Systems20171
23On the probabilistic bisimulation spectrum with silent movesActa Informatica20201
24Context-Dependent Views to Axioms and Consequences of Semantic Web OntologiesSSRN Electronic Journal01
25In the Head of the Beholder: Comparing Different Proof RepresentationsLecture Notes in Computer Science20221
26Spigot Algorithm and Reliable Computation of Natural LogarithmReliable Computing20040
27Temporalizing Rewritable Query Languages Over Knowledge BasesSSRN Electronic Journal00
28Exploring Faulty DataLecture Notes in Computer Science20150
29Temporal Query Entailment in the Description Logic SHQSSRN Electronic Journal00
30Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness StudyLecture Notes in Computer Science20230
31Explaining Non-Entailment by Model Transformation for the Description Logic EL20220