Carsten Lutz. Nexp time-complete description logics with concrete domains. ACM Trans. Comput. Logic, 5(4):669--705, 2004. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
Reasoning in the SHOQ(Dn) Description Logic - Pan, Horrocks (2002) (Correct)
Extending Datatype Support in Web Ontology Reasoning - Pan, Horrocks (2002) (1 citation) (Correct)
Description Logics as Ontology Languages for the Semantic Web - Baader, Horrocks, Sattler (2003) (20 citations) (Correct)
Connecting Description Systems - Kutz, Wolter, Zakhariaschev (2002) (Correct)
Ontology Reasoning in the SHOQ(D) Description Logic - Horrocks, Sattler (2001) (2 citations) (Correct)
Ontology Reasoning in the SHOQ(D) Description Logic - Horrocks, Sattler (2001) (2 citations) (Correct)
Towards a Fuzzy Description Logic for the Semantic Web - Straccia (2005) (2 citations) (Correct)
A Fuzzy Description Logic for the Semantic Web - Umberto Straccia Isti-Cnr (2005) (1 citation) (Correct)
Reasoning in the SHOQ(D n - Description Logic Je (2002) (Correct)
Description Logics with Concrete Domains - A Survey - Lutz (2003) (8 citations) (Correct)
Description Logics with Concrete Domains - A Survey - Lutz (2003) (8 citations) (Correct)
Reasoning about Entity Relationship Diagrams - With Complex Attribute Self-citation (Lutz) (Correct)
Concrete Domains and Nominals United - Carlos Areces University (2002) (1 citation) Self-citation (Lutz) (Correct)
Keys, Nominals, and Concrete Domains - Lutz, Areces, Horrocks, Sattler (2002) Self-citation (Lutz) (Correct)
Keys, Nominals, and Concrete Domains - Lutz, Areces, Horrocks, Sattler (2003) Self-citation (Lutz) (Correct)
Reasoning about Entity Relationship Diagrams with Complex.. - Lutz (2002) (2 citations) Self-citation (Lutz) (Correct)
NExpTime-complete Description Logics with Concrete Domains - Lutz (2001) (11 citations) Self-citation (Lutz) (Correct)
Interval-based Temporal Reasoning with General TBoxes - Lutz (2001) (5 citations) Self-citation (Lutz) (Correct)
NExpTime-complete Description Logics with Concrete Domains - Lutz (2000) (11 citations) Self-citation (Lutz) (Correct)
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