From wine to water: Optimizing description logic reasoning for nominals

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2006, Pages 90-99

  Sirin, Evren ^a   Grau, Bernardo Cuenca ^b   Parsia, Bijan ^a  

^a UNIVERSITY OF MARYLAND   (United States)

^b UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BIRDS; COMPUTER CIRCUITS; DATA DESCRIPTION; FORMAL LANGUAGES; KNOWLEDGE BASED SYSTEMS; ONTOLOGY; WINE;

DECISION PROCEDURE; DESCRIPTION LOGIC; KNOWLEDGE BASE; OPEN SOURCES; OPTIMIZATION TECHNIQUES; REASONER; SOUND AND COMPLETE;

KNOWLEDGE REPRESENTATION;

EID: 34548322670     PISSN: 23341025     EISSN: 23341033     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. Horrocks, I., and Sattler, U. 1999. A description logic with transitive and inverse roles and role hierarchies. Journal of Logic and Computation 9(3):385-410.
2. Horrocks, I., and Sattler, U. 2001. Ontology reasoning in the SHOQ(D) description logic. In Nebel, B., ed., Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI 2001), 199-204. Morgan Kaufmann.
3. Horrocks, I., and Sattler, U. 2005. A tableaux decision procedure for SHOIQ. In Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005). Morgan Kaufman.
4. Horrocks, I.; Patel-Schneider, P. F.; and van Harmelen, F. 2003. From SHIQ and RDF to OWL: The making of a web ontology language. J. of Web Semantics 1(1):7-26.
5. Horrocks, I. 2003. Implementation and optimisation techniques. In Baader, F.; Calvanese, D.; McGuinness, D.; Nardi, D.; and Patel-Schneider, P. F., eds., The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press. 306-346.
6. Masuoka, R.; Parsia, B.; and Labrou, Y. 2003. Task computing - the semantic web meets pervasive computing -. In Proceedings of 2nd International Semantic Web Conference (ISWC2003).
7. Patel-Schneider, P.; Hayes, P.; and I.Horrocks. 2004. Web ontology language OWL Abstract Syntax and Semantics. W3C Recommendation.
8. Schaerf, A. 1994. Reasoning with individuals in concept languages. Data and Knowledge Engineering 13(2):141- 176.
9. Sirin, E.; Parsia, B.; Grau, B. C.; Kalyanpur, A.; and Katz, Y. 2005. Pellet: A practical owl-dl reasoner. Technical report, University of Maryland Institute for Advanced Computes Studies (UMIACS), 2005-68. Available online at http://www.mindswap.org/papers/PelletDemo.pdf.
10. Smith, M.;Welty, C.; and McGuiness, D. 2004. OWL Web Ontology Language Guide. W3C Recommendation.