Abstrakt. En vanlig praxis inom konceptuell modellering är att skilja den extensiva från den extensiva modellen. Även om denna strategi är mycket intuitiv, är den otillräcklig för många komplexa områden, där gränsen mellan de två modellerna inte är tydlig. Därför, OWL-Full, den mest uttrycksfulla av Semantic Web ontology språk, gör det möjligt att kombinera den extensiva och den extensiva modellen med en funktion som vi kallar metamodeling. I den här artikeln visar vi att metamodellernas semantik i OWL-Full leder till obeslutsamhet om grundläggande inferensproblem, på grund av fri blandning av logiska och metalogiska symboler. Baserat på detta resultat föreslår vi två alternativa semantik för metamodeling: kontextualen och HiLog semantiken. Vi visar att SHOIQ-en beskrivning logik underliggande OWL-DL-utökas med metamodeling under någon av semantik är decidable. Slutligen visar vi hur de senare semantikerna kan användas i praktiken för att axiomatisera den logiska interaktionen mellan begrepp och metakoncept.
Motik Ref föreslår två alternativa metamodelleringsmetoder för OWL DL, dvs. den kontextuella metoden (diskuterad ovan) och HiLog-metoden.
On the Properties of Metamodeling in OWL
{'venue': 'In 4th Int. Semantic Web Conf. (ISWC 2005', 'journal': None, 'mag_field_of_study': ['Computer Science']}