A Resolution−Based Decision Procedure for SHOIQ.

We present a resolution-based decision procedure for the description logic SHOIQ—the logic underlying the Semantic Web ontology language OWLDL. Our procedure is goal-oriented, and it naturally extends a similar procedure for SHIQ, which...

Бүрэн тодорхойлолт

Номзүйн дэлгэрэнгүй
Үндсэн зохиолчид:	Kazakov, Y, Motik, B
Формат:	Conference item
Хэвлэсэн:	Springer 2006

Ижил төстэй зүйлс

A Resolution-Based Decision Procedure for SHOIQ.
-н: Kazakov, Y, зэрэг
Хэвлэсэн: (2008)

A Resolution−Based Decision Procedure for SHOIQ
-н: Kazakov, Y, зэрэг
Хэвлэсэн: (2008)

A resolution-based decision procedure for SHOIQ
-н: Kazakov, Y, зэрэг
Хэвлэсэн: (2008)

A resolution-based decision procedure for SHOIQ (Journal of Automated Reasoning DOI: 10.1007/s10817-007-9090-1)
-н: Kazakov, Y, зэрэг
Хэвлэсэн: (2008)

RIQ and SROIQ are Harder than SHOIQ
-н: Kazakov, Y
Хэвлэсэн: (2008)

SRIQ and SROIQ are Harder than SHOIQ
-н: Kazakov, Y
Хэвлэсэн: (2008)

Combining Resolution Decision Procedures
-н: Kazakov, Y
Хэвлэсэн: (2004)

A Decomposition Rule for Decision Procedures by Resolution-Based Calculi.
-н: Hustadt, U, зэрэг
Хэвлэсэн: (2004)

A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.
-н: Kazakov, Y
Хэвлэсэн: (2004)

Resolution Decision Procedures for the Guarded Fragment with Transitive Guards
-н: Kazakov, Y, зэрэг
Хэвлэсэн: (2015)

A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards.
-н: Kazakov, Y, зэрэг
Хэвлэсэн: (2004)

Saturation−Based Decision Procedures for Extensions of the Guarded Fragment
-н: Kazakov, Y
Хэвлэсэн: (2006)

A Framework of Refutational Theorem Proving for Saturation−Based Decision Procedures
-н: Kazakov, Y
Хэвлэсэн: (2005)

Extracting verified decision procedures: DPLL and Resolution
-н: Ulrich Berger, зэрэг
Хэвлэсэн: (2015-03-01)

Import-by-Query: Ontology Reasoning under Access Limitations.
-н: Grau, B, зэрэг
Хэвлэсэн: (2009)

Import−by−Query: Ontology Reasoning under Access Limitations
-н: Grau, B, зэрэг
Хэвлэсэн: (2009)

Import−by−Query: Ontology Reasoning under Access Limitations
-н: Grau, B, зэрэг
Хэвлэсэн: (2015)

Exploring Procedural Decision Support Systems for Wicked Problem Resolution
-н: Carianne Pretorius
Хэвлэсэн: (2017-07-01)

Recursive resolution for modal logic
-н: Kazakov, Y
Хэвлэсэн: (2002)

Deciding expressive description logics in the framework of resolution.
-н: Hustadt, U, зэрэг
Хэвлэсэн: (2008)

Dispute resolution outside of courts: Procedural justice and decision acceptance among users of ombuds services in the UK
-н: Creutzfeldt, N, зэрэг
Хэвлэсэн: (2016)

ICE dispute resolution procedures /
-н: Institution of Civil Engineers (Great Britain)
Хэвлэсэн: (2012)

ICE dispute resolution board procedure
-н: Institution of Civil Engineers (Great Britain)
Хэвлэсэн: (2005)

PROCEDURES FOR THE RESOLUTION OF ADMINISTRATIVE MATTERS IN FINLAND
-н: Orlov Vladimir
Хэвлэсэн: (2020-09-01)

The Conclusive Phase of Civil Case Resolution: Examining Execution and Post-Decision Challenges in Indonesian Civil Procedural Law
-н: Retno Kus Setyowati
Хэвлэсэн: (2023-10-01)

Representing and querying validity time in RDF and OWL: A logic-based approach
-н: Motik, B
Хэвлэсэн: (2012)

Representing and querying validity time in RDF and OWL: A logic-based approach.
-н: Motik, B
Хэвлэсэн: (2012)

Combining decision procedures for the reals
-н: Jeremy Avigad, зэрэг
Хэвлэсэн: (2006-10-01)

Classification of criminal procedure decisions
-н: R T Gaprindashvili
Хэвлэсэн: (2012-12-01)

ROBOTIC DECISION AND PROCEDURAL VALUES
-н: Antonio Carratta
Хэвлэсэн: (2021-08-01)

Investigation of Procedural Decisions at the Beginning of Pre-Trial Investigation
-н: Yа. A. Burlaka
Хэвлэсэн: (2020-12-01)

PROCEDURES FOR THE RESOLUTION OF ADMINISTRATIVE MATTERS IN FINLAND (the end)
-н: Orlov Vladimir
Хэвлэсэн: (2020-09-01)

Procedural Flaws of Shareholders’ Resolutions – a Comparative Approach
-н: Roman Uliasz
Хэвлэсэн: (2022-12-01)

On Decision Procedures for Set-Value Fields
-н: Kuncak, Viktor, зэрэг
Хэвлэсэн: (2005)

Decision Procedures – an Algorithmic Point of View
-н: Kroening, D, зэрэг
Хэвлэсэн: (2008)

Decision procedures : an algorithmic point of view /
-н: 483434 Kroening, Daniel, зэрэг
Хэвлэсэн: (c200)

Efficient decision procedure for Belief modality
-н: Adomas Birštunas
Хэвлэсэн: (2005-12-01)

Lazy Decomposition for Distributed Decision Procedures
-н: Youssef Hamadi, зэрэг
Хэвлэсэн: (2011-10-01)

Designing surveys : a guide to decisions and procedures /
-н: Czaja, Ronald author, зэрэг
Хэвлэсэн: (2013)