The description logic SHIQ with a flexible meta-modelling hierarchy

@article{Motz2015TheDL,
  title={The description logic SHIQ with a flexible meta-modelling hierarchy},
  author={Regina Motz and Edelweis Rohrer and P. Severi},
  journal={J. Web Semant.},
  year={2015},
  volume={35},
  pages={214-234}
}
This work is motivated by a real-world case study where it is necessary to integrate and relate existing ontologies through meta-modelling. For this, we introduce the Description Logic SHIQM which is obtained from SHIQ by adding statements that equate individuals to concepts in a knowledge base. In this new extension, concepts can be individuals of another concept (called meta-concept) which itself can be an individual of yet another concept (called meta-meta-concept) and so on. We define an… Expand
17 Citations
Metaquerying made practical for OWL 2 QL ontologies
  • 1
An Expressive Sub-language of OWL 2 Full for Domain Meta-modeling
  • 1
  • PDF
Lightweight Description Logics with Meta-modelling
  • PDF
Meta-Modelling Ontology Design Pattern
Adding the Power-Set to Description Logics
  • 2
  • PDF
Applying Description Logics Extended with Meta-modelling to SNOMED-CT
  • PDF
Applying Meta-Modellig to an Accounting Application
  • 2
  • PDF
Power (Set) ALC (Extended Abstract)
  • PDF
Power (Set) ALC
  • 2
  • PDF
...
1
2
...

References

SHOWING 1-10 OF 49 REFERENCES
Reasoning for ALCQ Extended with a Flexible Meta-Modelling Hierarchy
  • 12
  • PDF
Higher-Order Description Logics for Domain Metamodeling
  • 47
  • PDF
On the Properties of Metamodeling in OWL
  • B. Motik
  • Computer Science
  • International Semantic Web Conference
  • 2005
  • 142
  • Highly Influential
  • PDF
On the Properties of Metamodeling in OWL
  • B. Motik
  • Computer Science
  • J. Log. Comput.
  • 2007
  • 85
The Even More Irresistible SROIQ
  • 985
  • PDF
Reasoning with Individuals for the Description Logic SHIQ
  • 317
  • Highly Influential
  • PDF
Extending Datatype Support in Web Ontology Reasoning
  • 16
  • PDF
Extending Datatype Support in Web Ontology Reasoning
  • 9
Modelling and Reasoning in Metamodelling Enabled Ontologies
  • 20
  • PDF
Making Metaquerying Practical for Hi(DL - Lite R ) Knowledge Bases
  • 4
...
1
2
3
4
5
...