Reasoning with part-part relations in a description logic

Knowledge-Based Systems

Volumn 24, Issue 2, 2011, Pages 347-353

  Krdžavac, Nenad ^a   Gašević, Dragan ^b  

^a UNIVERSITY OF BELGRADE   (Serbia)

^b ATHABASCA UNIVERSITY   (Canada)

Author keywords

Description logic; Manufacturing; Ontology; Part part relation; Tableau algorithm

Indexed keywords

DESCRIPTION LOGIC; KNOWLEDGE BASE; MANUFACTURING; PART-PART RELATION; STATE OF THE ART; TABLEAU ALGORITHM;

ALGORITHMS; KNOWLEDGE BASED SYSTEMS; KNOWLEDGE REPRESENTATION; MANUFACTURE; ONTOLOGY; SEMANTICS;

DATA DESCRIPTION;

EID: 78650826192     PISSN: 09507051     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.knosys.2010.09.001     Document Type: Article

References (23)

1. F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi, and P.F. Patel-Schneider The Description Logic Handbook: Theory, Implementation, Applications first ed. 2003 Cambridge University Press Cambridge, UK
2. C. Bock UML 2 composition model Journal of Object Technology 3 10 2004 47 73
3. C. Bock, X.F. Zha, H-W. Suh, J-H. Lee, Ontological product modeling for collaborative design, US National Institute of Standards and Technology, Technical Report NISTIR 7643, 2009.
4. D. Berardia, D. Calvaneseb, and G. De Giacomoa Reasoning on UML class diagrams Artificial Intelligence 168 1-2 2005 70 118
5. M.A. Casteleiro, and J.J.D. Diz Clinical practice guidelines: A case study of combining OWL-S, OWL, and SWRL Knowledge-Based Systems 21 3 2008 247 255
6. D. Gašević, D. Djurić, and V. Devedžić Model Driven Engineering and Ontology Development second ed. 2009 Springer Berlin-Heidelberg
7. B.C. Grau, I. Horrocks, B. Motik, B. Parsia, P.P. Schneider, and U. Sattler OWL 2: the next step for OWL Journal of Web Semantics: Science, Services and Agents on the World Wide Web 6 4 2008 309 322
8. I. Horrocks, P.F. Patel-Schneider, H. Boley, S. Tabet, B. Grosof, M. Dean, SWRL: a semantic web rule language combining OWL and RuleML. W3C Member Submission, 21 May 2004.
9. I. Horrocks Ontologies and the semantic web Communications of the ACM 51 12 2008 58 67
10. I. Horrocks, O. Kutz, U. Sattler, The even more irresistible SROIQ, in: Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), 2006, pp. 57-67.
11. I. Horrocks, O. Kutz, U. Sattler, The even more irresistible SROIQ, Technical Report, 2005.
12. Y. Jiang, Y. Tang, J. Wang, P. Deng, and S. Tang Expressive fuzzy description logics over lattices Knowledge-Based Systems 23 2 2010 150 161
13. Y. Kazakov, An extension of regularity conditions for complex role inclusion axioms, in: I. Horrocks, B. Motik, U. Sattler (Eds.), in: Proceedings of the 22nd International Workshop on Description Logics (DL 2009), vol. 477, Oxford, UK, July 2009.
14. Y. Kazakov, An extension of complex role inclusion axioms in the description logic SROIQ, in: Proceedings of the Fifth International Joint Conference on Automated Reasoning (IJCAR 2010). Edinburgh, UK, July 2010, pp. 472-487.
15. K.H. Ko, K. Pochiraju, and S. Manoochehri An embedded system for knowledge-based cost evaluation of molded parts Knowledge-Based Systems 20 3 2007 291 299
16. N. Krdžavac, C. Bock. Reasoning in manufacturing part-part examples with OWL 2, US National Institute of Standards and Technology, Technical Report NISTIR 7535, 2008.
17. P. Lambrix Part-whole reasoning in an object-centered framework Lecture Notes in Artificial Intelligence vol. 1771 2000 Springer Verlag 3-540-67225-7
18. J. Lu, Y. Li, B. Zhou, and D. Kang Reasoning within extended fuzzy description logic Knowledge-Based Systems 22 1 2009 28 37
19. B. Motik, B. Cuenca Grau, I. Horrocks, U. Sattler, Representing structured objects using description graphs, in: Proceedings of the 11th International Joint Conference on Principles of Knowledge Representation and Reasoning (KR 2008), 2008, pp. 296-306.
20. B. Motik, R. Shearer, and I. Horrocks Hypertableau reasoning for description logics Journal of Artificial Intelligence Research 36 2009 165 228
21. Object Management Group, UML 2.0 Superstructure Specification. . October 2004 (Last visited 04.08.2010).
22. I. Vujovic, E. Neuhold, P. Fankhauser, C. Niederee, and V. Milutinovic Semantic web: a brief overview and IPSI Belgrade research Annals of Mathematics, Computing& Teleinformatics 1 1 2004 65 70
23. H. Wang, L.Y. Fang, J. Sun, H. Zhang, and J.Z. Pan A semantic web approach to feature modeling and verification Journal of Web Semantics 5 2 2007 117 129