Mostrando 3 resultados de: 3
Filtros aplicados
Publisher
CEUR Workshop Proceedings(1)
Journal of Web Semantics(1)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(1)
Origen
scopus(3)
OWL extended with meta-modelling
Conference ObjectAbstract: In this paper we explain how we extended the Web Ontology Language (OWL) with meta-modelling. In ordPalabras claves:Consistency checking, Meta-Modelling, owl, ReasonerAutores:Regina Motz, Rohrer E., Severi P., Vidal I.Fuentes:scopusReasoning for ALCQ extended with a flexible meta-modelling hierarchy
Conference ObjectAbstract: This works is motivated by a real-world case study where it is necessary to integrate and relate exiPalabras claves:Consistency, Decidability, Description logic, Meta-concepts, Meta-Modelling, Well founded setsAutores:Regina Motz, Rohrer E., Severi P.Fuentes:scopusThe description logic SHIQ with a flexible meta-modelling hierarchy
ArticleAbstract: This work is motivated by a real-world case study where it is necessary to integrate and relate exisPalabras claves:Consistency, Decidability, Description logic, Meta-concepts, Meta-Modelling, Well founded setsAutores:Regina Motz, Rohrer E., Severi P.Fuentes:scopus