Ian Horrocks, Ulrike Sattler, and Stephan Tobies. Practical reasoning for expressive description logics. Proc. of the 6th Int. Conf. on Logic for Programming and Automated Reasoning. Springer, 1999. 15  Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Efficient Reasoning with Range and Domain Constraints - Tsarkov, Horrocks Self-citation (Horrocks) (Correct)
No context found.
Ian Horrocks, Ulrike Sattler, and Stephan Tobies. Practical reasoning for expressive description logics. In Harald Ganzinger, David McAllester, and Andrei Voronkov, editors, Proc. of the 6th Int. Conf. on Logic for Programming and Automated Reasoning (LPAR'99), number 1705 in Lecture Notes in Artificial Intelligence, pages 161--180. Springer, 1999.
A Proposal for an OWL Rules Language - Horrocks, Patel-Schneider (2004) (11 citations) Self-citation (Horrocks) (Correct)
No context found.
I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In H. Ganzinger, D. McAllester, and A. Voronkov, editors, Proc. of the 6th Int. Conf. on Logic for Programming and Automated Reasoning (LPAR'99), number 1705 in Lecture Notes in Artificial Intelligence, pages 161--180. Springer, 1999.
Efficient Reasoning with Range and Domain Constraints - Tsarkov, Horrocks Self-citation (Horrocks) (Correct)
No context found.
Ian Horrocks, Ulrike Sattler, and Stephan Tobies. Practical reasoning for expressive description logics. In Harald Ganzinger, David McAllester, and Andrei Voronkov, editors, Proc. of the 6th Int. Conf. on Logic for Programming and Automated Reasoning (LPAR'99), number 1705 in Lecture Notes in Artificial Intelligence, pages 161--180. Springer, 1999.
Contorsion. A Semantic XPath Processor - Tous, Delgado (2005) (Correct)
No context found.
Ian Horrocks, Ulrike Sattler, and Stephan Tobies. Practical reasoning for expressive description logics. Proc. of the 6th Int. Conf. on Logic for Programming and Automated Reasoning. Springer, 1999. 15
Architecture of a Semantic XPath Processor.. - Tous, Garcia.. (Correct)
No context found.
Ian Horrocks, Ulrike Sattler and Stephan Tobies. Practical reasoning for expressive description logics. In Proc. of the 6th Int. Conf. on Logic for Programming and Automated Reasoning (LPAR99), number 1705 in Lecture Notes in Artificial Intelligence, pages 161180. Springer, 1999.
Open World Reasoning in Semantics-Aware - Access Control Preliminary (Correct)
No context found.
I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In H. Ganzinger, D. McAllester, and A. Voronkov, editors, Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99), number 1705 in Lecture Notes in Artificial Intelligence, pages 161--180. Springer-Verlag, 1999.
Distributed Instance Retrieval in - Heterogeneous Ontologies Luciano (Correct)
No context found.
I. Horrocks, U. Sattler and S. Tobies. "Practical Reasoning for Expressive Description Logics", In Proc. LPAR-1999, vol. 1705 of LNAI, pages 161--180. Springer, 1999.
Integration of Semantic Data Using a Novel Web - Based Information Query (Correct)
No context found.
I. Horrocks, U. Sattler, and S. Tobies, "Practical reasoning for expressive description logics. In H. Ganzinger", D. McAllester, and A. Voronkov, editors, LPAR'99, Springer-Verlag, pp.161--180, 1999.
Integrating Semantic Web Reasoning and Answer Set Programming - Heymans, Vermeir (2003) (1 citation) (Correct)
No context found.
I. Horrocks, U. Sattler, and S. Tobies. Practical Reasoning for Expressive Description Logics. In Harald Ganzinger, David McAllester, and Andrei Voronkov, editors, Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99), number 1705, pages 161--180. Springer-Verlag, 1999.
Integrating Description Logics and Answer Set Programming - Heymans, Vermeir (2003) (1 citation) (Correct)
No context found.
I. Horrocks, U. Sattler, and S. Tobies. Practical Reasoning for Expressive Description Logics. In Harald Ganzinger, David McAllester, and Andrei Voronkov, editors, Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99), number 1705, pages 161--180. Springer-Verlag, 1999.
Integrating Ontology Languages and Answer Set Programming - Heymans, Vermeir (2003) (Correct)
No context found.
I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In H. Ganzinger, D. McAllester, and A. Voronkov, editors, Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99), number 1705, pages 161-- 180. Springer-Verlag, 1999.
Schema Evolution and Versioning: a Logical and.. - Franconi, Grandi.. (2000) (2 citations) (Correct)
No context found.
I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In Proc. of Int'l Conf. on Logic for Programming and Automated Reasoning (LPAR), 1999.
Using OWL for Querying an XML/RDF Syntax - Tous, Delgado (2005) (Correct)
No context found.
Ian Horrocks et al. Practical reasoning for expressive description logics. In Proc. of the 6th Int. Conf. on Logic for Programming and Automated Reasoning (LPAR99), number 1705 in LNAI pages 161180. Springer, 1999.
Using Preference Order in Ontologies - Heymans Vermeir Dept (2002) (Correct)
No context found.
I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In H. Ganzinger, D. McAllester, and A. Voronkov, editors, Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99), number 1705, pages 161-- 180. Springer-Verlag, 1999.
Schema Evolution and Versioning: a Logical and.. - Franconi, Grandi.. (2000) (2 citations) (Correct)
No context found.
I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In Proc. of Int'l Conf. on Logic for Programming and Automated Reasoning (LPAR), 1999.
Querying Semantic Web Resources Using - Triple Views Zoltan (Correct)
No context found.
Horrocks, I., Sattler, U., Tobies, S.: Practical Reasoning for Expressive Description Logics. In Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99), 1999.
On Subsumption and Instance Problem in - General Tboxes Sebastian (Correct)
No context found.
Ian Horrocks, Ulrike Sattler, and Stephan Tobies. Practical reasoning for expressive description logics. In Harald Ganzinger, David McAllester, and Andrei Voronkov, editors, Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99), number 1705 in Lecture Notes in Artificial Intelligence, pages 161--180. Springer-Verlag, September 1999.
Tableau Systems for SHIO and SHIQ - Hladik, Model (Correct)
No context found.
I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In Proc. of LPAR'99, number 1705 in LNAI, pages 161--180. Springer-Verlag, 1999.
REMOTE: A Multiagent System to Select and Execute Remote .. - Puyal, Mena.. (2003) (Correct)
No context found.
I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In H. Ganzinger, D. McAllester, and A. Voronkov, editors, Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99), number 1705 in Lecture Notes in Arti cial Intelligence, pages 161-180. Springer-Verlag, 1999.
On Subsumption and Instance Problem in - General Tboxes Sebastian (Correct)
No context found.
Ian Horrocks, Ulrike Sattler, and Stephan Tobies. Practical reasoning for expressive description logics. In Harald Ganzinger, David McAllester, and Andrei Voronkov, editors, Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99), number 1705 in Lecture Notes in Artificial Intelligence, pages 161--180. Springer-Verlag, September 1999.
Tableau Systems for SHIO and SHIQ - Hladik, Model (Correct)
No context found.
I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In Proc. of LPAR'99, number 1705 in LNAI, pages 161--180. Springer-Verlag, 1999.
A Tableau System for the Description Logic SHIO - Hladik (Correct)
No context found.
I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In Proceedings of LPAR'99, number 1705 in LNAI. Springer-Verlag, 1999.
Integrating Ontology Languages and Answer Set Programming - Heymans Vermeir Dept (2003) (Correct)
No context found.
I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In H. Ganzinger, D. McAllester, and A. Voronkov, editors, Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99), number 1705, pages 161-- 180. Springer-Verlag, 1999.
Integrating Semantic Web Reasoning and Answer Set Programming - Heymans, Vermeir (2003) (1 citation) (Correct)
No context found.
I. Horrocks, U. Sattler, and S. Tobies. Practical Reasoning for Expressive Description Logics. In Harald Ganzinger, David McAllester, and Andrei Voronkov, editors, Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99), number 1705, pages 161--180. Springer-Verlag, 1999.
Description of the RACER System and its Applications - Haarslev, Möller (2001) (26 citations) (Correct)
No context found.
I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In Harald Ganzinger, David McAllester, and Andrei Voronkov, editors, Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99), number 1705 in Lecture Notes in Artificial Intelligence, pages 161--180. Springer-Verlag, September 1999. 140
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC