Pavel Klinov

Alexander Stupnikov

Proceedings of the 30th International Workshop on Description Logics, 2017

2015

Advancing ELK: Not Only Performance Matters.

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Description Logics, 2015

2014

Goal-Directed Tracing of Inferences in EL Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2014, 2014

Bridging the Gap between Tableau and Consequence-Based Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

2013

Empirical Study of Logic-Based Modules: Cheap Is Cheerful.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2013, 2013

Pronto: A Practical Probabilistic Description Logic Reasoner.

[BibT_eX]

[DOI]

Proceedings of the Uncertainty Reasoning for the Semantic Web II, 2013

Understanding a Probabilistic Description Logic via Connections to First-Order Logic of Probability.

[BibT_eX]

[DOI]

Proceedings of the Uncertainty Reasoning for the Semantic Web II, 2013

Incremental Reasoning in OWL EL without Bookkeeping.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2013, 2013

The Benefits of Incremental Reasoning in OWL EL.

[BibT_eX]

[DOI]

Proceedings of the ISWC 2013 Posters & Demonstrations Track, 2013

Experimenting with ELK Reasoner on Android.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), 2013

Incremental Reasoning in EL+ without Bookkeeping.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

2012

Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation?

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Modular Ontologies, 2012

Incrementally Updateable and Persistent Decomposition of OWL Ontologies.

[BibT_eX]

[DOI]

Chiara Del Vescovo

Thomas Schneider

Proceedings of OWL: Experiences and Directions Workshop 2012, 2012

2011

The Consistency of the Medical Expert System CADIAG-2: A Probabilistic Approach.

[BibT_eX]

[DOI]

David Picado-Muiño

J. Inf. Technol. Res., 2011

Decomposition and Modular Structure of BioPortal Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2011, 2011

Representing Sampling Distributions in P-SROIQ.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2011), 2011

A Hybrid Method for Probabilistic Satisfiability.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011

2010

The Consistency of the CADIAG-2 Knowledge Base: A Probabilistic Approach.

[BibT_eX]

[DOI]

David Picado-Muiño

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

Implementing an Efficient SAT Solver for a Probabilistic Description Logic.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on the Implementation of Logics, 2010

Relationships Between Probabilistic Description and First-Order Logics.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Uncertainty in Description Logics, 2010

Pronto: A Practical Probabilistic Description Logic Reasoner.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Uncertainty in Description Logics, 2010

2009

On Improving the Scalability of Checking Satisfiability in Probabilistic Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Scalable Uncertainty Management, Third International Conference, 2009

Ontology Granularity and Rough Equality of Concepts.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2009

On Correspondences between Probabilistic First-Order and Description Logics.

[BibT_eX]

[DOI]

Ulrike Sattler

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008

Interval rough mereology and description logic: An approach to formal treatment of imprecision in the Semantic Web ontologies.

[BibT_eX]

[DOI]

Julia M. Taylor

Web Intell. Agent Syst., 2008

Pronto: Probabilistic Ontological Modeling in the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the Poster and Demonstration Session at the 7th International Semantic Web Conference (ISWC2008), 2008

Optimization and Evaluation of Reasoning in Probabilistic Description Logic: Towards a Systematic Approach.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008

Demonstrating Pronto: a Non-Monotonic Probabilistic OWL Reasoner (Demo Description).

[BibT_eX]

[DOI]

Proceedings of the Fourth OWLED Workshop on OWL: Experiences and Directions, 2008

Probabilistic Modeling and OWL: A User Oriented Introduction to P-SHIQ(D).

[BibT_eX]

[DOI]

Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, 2008

Pronto: A Non-monotonic Probabilistic Description Logic Reasoner.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2008

2007

Interval Rough Mereology for Approximating Hierarchical Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Rough Sets, 2007

On Possible Applications of Rough Mereology to Handling Granularity in Ontological Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

Granulating semantic web ontologies.

[BibT_eX]

[DOI]