MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "DLP and FaCT." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

10 documents found, showing 1 through 10.

ATOM

DLP and FaCT
by Peter F. Patel-Schneider, Ian Horrocks — 1999
…DLP and FaCT Peter F. Patel-Schneider 1 and Ian Horrocks 2 1 Bell Labs Research, Murray Hill…
Cited by 4 (0 self) – Add To MetaCart

Systems Comparison
by Peter F. Patel-Schneider, Been Prominent Balsiger
… logics. DLP, FaCT, RACE, and CICLOP were all built from scratch. The MSPASS system uses a translation…
Cited by 16 (3 self) – Add To MetaCart

DL Systems Comparison
by Ian Horrocks Department, Ian R. Horrocks, Peter F. Patel-schneider — 1998 — In Proceedings of DL'98, International Workshop on Description Logics
… with respect to 6 DL systems: Crack, DLP, FaCT, HAM-ALC, Kris and NeoClassic. Of these, all but Neo…
Add To MetaCart

HyLoRes 1.0: Direct Resolution for Hybrid Logics Carlos Areces and Juan Heguiabehere
by Language And Inference, Carlos Areces, Juan Heguiabehere — Automated Deduction – CADE-18, volume 2392 of LNCS
… to be competitive when compared with state of the art provers for modal and description logics like DLP, FaCT…
Add To MetaCart

Towards an Implementation of the Temporal Description Logic TL_ALC
by Christian Günsel, Marco Wittmann — 2001 — Proceedings of the International Description Logics Workshop DL-2001, volume 49 of CEUR Workshop Proceedings
… existing systems like DLP, FaCT, or RACER (see [7, 6, 5] and references therein) in a client…
Cited by 2 (0 self) – Add To MetaCart

Direct Resolution for Modal-like Logics
by Carlos Areces Juan, Juan Heguiabehere — 2002
…-like logics like DLP, FaCT, MSPASS or RACER [7, 10]. On the one hand, the system is still in a preliminary…
Add To MetaCart

An Analysis of Empirical Testing for Modal Decision Procedures
by Ian Horrocks, Peter F. Patel-Schneider — 2000
…, and reuse cached results from previous searching. Both DLP and FaCT can handle logics that are supersets…
Cited by 19 (7 self) – Add To MetaCart

OIL: Ontology Infrastructure to Enable the Semantic Web
by Dieter Fensel, Ian Horrocks, Frank Van Harmelen, Deborah McGuinness, Peter F. Patel-Schneider — 2001 — IEEE Intelligent Systems
…, see for example DLP and the FaCT system, which will be explained later on. OIL inherits from…
Cited by 12 (7 self) – Add To MetaCart

BDD-Based Decision Procedures for the Modal Logic K
by Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi — 2005 — Journal of Applied Non-classical Logics
…-based solver made DLP and FaCT some of the fastest K solvers [PAT 99]. Non-propositional methods take a…
Cited by 12 (1 self) – Add To MetaCart

Web Explanations for Semantic Heterogeneity Discovery
by Pavel Shvaiko, Fausto Giunchiglia, Paulo Pinheiro Da Silva, Deborah L. McGuinness — 2004 — In Proceedings of ESWC
…-SAT DPLLbased inference engines, e.g., DLP, FaCT (Horrocks and Patel-Schneider 1998). References …
Cited by 9 (5 self) – Add To MetaCart

Showing 1 through 10.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB