I want to know the KRSS-like syntax which pellet accepts. For example, can someone send a valid ABox in KRSS which pellet accepts successfully and can reason about. Thanks. regards, Bruno